Make date/time format user configurable; drop 'date_today' config option

thomascube

2011-09-12 1cc9e210f5cb340599062ae9cee15cdc9ebd77a7

 program/localization/en_US/labels.inc

@@ -357,6 +357,8 @@
$labels['preferhtml'] = 'Display HTML';
$labels['defaultcharset'] = 'Default Character Set';
$labels['htmlmessage'] = 'HTML Message';
$labels['dateformat'] = 'Date format';
$labels['timeformat'] = 'Time format';
$labels['prettydate'] = 'Pretty dates';
$labels['setdefault']  = 'Set default';
$labels['autodetect']  = 'Auto';