Endlich habe ich die Datums- und Monatsanzeige auf deutsch!
Ein bisschen Suchen war schon nötig.
Wie ich das Problem gelöst habe?
Zuvor muss ich erwähnen, dass es sich beim Server um ein Debian 3.1 System handelt.
Ich habe in einer Debian FAQ folgenden Einzeiler gefunden:
for LANG in de de_DE de_DE.foo de_DE.ASCII de_de.iso-8859-1
de_DE.iso-8859-1 de_DE.ISO-8859-1 de_DE.ISO8859-1 de_DE.ISO-88591 de ;
do printf "%-20s " $LANG; date +"%A"; done
Im Original noch länger, aber die Idee wird sichtbar.
Als Ergebnis erhielt ich bei jeder Zeile Monday und nicht Montag.
Damit war mir klar, ich habe gar kein German Language support auf dem
Server.
Das habe ich dann nachinstalliert mit
apt-get install localeconf (oder war er da, aber nicht configuriert?,
egal..)
Nach dem beantworten der Conf Fragen ergab das ausfuehren des
Einzeilers auch tatsaechlich in ein paar Zeilen Montag
Nun konnte ich mich mit php beschaeftigen.
Ich habe den Fehler systematisch eingegrenzt und bin darauf gekommen,
dass in der serendipity_lang_de.inc.php die Variable DATE_LOCALES
kein euro und kein 15 enthalten darf.
Wie gesagt, bei meinem System.
Wenn andere Systeme mehre Locates installiert haben, sieht es anders aus.
Ich habe also die Datei am Anfang so geändert:
@define('DATE_LOCALES', 'de_DE', 'de_DE.ISO_8859-1');
Und damit ist's nun in Deutsch.
Update: jetzt macht man das auf den Server mit dpkg-reconfigure locales