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

thomascube

2011-09-12 1cc9e210f5cb340599062ae9cee15cdc9ebd77a7

 program/localization/de_DE/labels.inc

@@ -279,6 +279,8 @@
$labels['preferhtml'] = 'HTML anzeigen';
$labels['defaultcharset'] = 'Standard Zeichensatz';
$labels['htmlmessage'] = 'HTML-Nachricht';
$labels['dateformat'] = 'Datumsformatierung';
$labels['timeformat'] = 'Zeitformatierung';
$labels['prettydate'] = 'Kurze Datumsanzeige';
$labels['setdefault'] = 'Als Standard';
$labels['autodetect'] = 'Automatisch';