[php] Bug oder Feature in date()?

[Ralf Eggert]

Hallo,

bin eben auf ein sonderbares Verhalten bei der date() Funktion gestossen.

  echo date("H:i:s", 46);

gibt nicht "00:00:46" sondern "01:00:46" aus. Ähnlich verhält es sich mit

  echo date("H:i:s", 158);

wo "01:02:38" statt "00:02:38" ausgegeben wird.

Ist das ein Bug, dass eine Stunde dazu addiert wird, oder ist das ein
Feature?

Hat jemand einen Tipp, wie ich zu der richtigen Lösung kommen kann, ohne
dass ich das selber zu Fuß programmieten muss?

Danke und Gruss,

Ralf