[php] strftime Problem

[Dirk Schwarz]

Hallo Liste,

ich möchte mit strftime() den aktuellen Tag des Monats ohne führende
Nullen ausgeben. In der aktuellen Doku steht dort "%e". Das ganze 
liefert mir aber nur einen "Leerstring" zurück. Ist das ein PHP-Bug
(evtl. nur unter Windows). Ich verwende PHP 4.3.5 unter Windows XP 
auf Apache 2.0.49 als Entwicklungsumgebung. Auf meinem Linux
Server habe ich es noch nicht getestet!

Eine Suche auf http://bugs.php.net/ hat nichts ergeben!

Ich kann mir natürlich auch mit date("j") aushelfen, aber inte-
ressieren würde es mich schon!

Danke

Dirk
+++