[php] Zeit-Differenz

[Ulf Wendel]

Ulf Wendel wrote:
> 
> Roland Spielhofer wrote:
> >
> > 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 ?

Gott hat Hirn vom Himmel geworfen, gut das wenigstens einer mitliest.
08, 09 können als Oktalzahlen verstanden werden.

Ulf