[php] Zeit-Differenz

[Ulf Wendel]

Roland Spielhofer wrote:
> > Dem muß ich noch mal nach gehen, ist sehr eigenartig!
> > Ich wette drum, da ist irgendein kleiner Denkfehler.
> > Da muß ich noch mal die Doku lesen.
> > Oder kennt hier jemanan eine Lösung?
> 
> mktime() zeigt sowieso ein seltsames Verhalten:
> <?
> $anfang6 = mktime(06,04,04,04,04,2000);
> $anfang7 = mktime(07,04,04,04,04,2000);
> $anfang8 = mktime(08,04,04,04,04,2000);
> $anfang9 = mktime(09,04,04,04,04,2000);
> $anfang10 = mktime(10,04,04,04,04,2000);
> $diff6 = date("H:i:s, d.m.Y", $anfang6);
> $diff7 = date("H:i:s, d.m.Y", $anfang7);
> $diff8 = date("H:i:s, d.m.Y", $anfang8);
> $diff9 = date("H:i:s, d.m.Y", $anfang9);
> $diff10 = date("H:i:s, d.m.Y", $anfang10);
> echo "$diff6<br>$diff7<br>$diff8<br>$diff9<br>$diff10<br>";
> ?>
> liefert als output:
> 06:04:04, 04.04.2000
> 07:04:04, 04.04.2000
> 00:04:04, 04.04.2000
> 00:04:04, 04.04.2000
> 10:04:04, 04.04.2000
> 
> Scheinbar kommt mktime() mit der führenden Null bei 08 und 09
> Uhr nicht zurecht, es liefert nämlich beide male: 954799444, was -

:-) Riecht nach einem Bug, ich kann es mit einer 4.01dev (Win32) von
gestern bestätigen. Der 08, 09 Bug scheint an jeder Stelle von mktime()
zu funktionieren. Machst Du einen Bugreport http://bugs.php.net ?

Ulf