note 58492 deleted from function.time by jome

Note Submitter: fj at huecker dot com Reason: non-english ---- Umstellen der Normalzeit auf die Sommerzeit mit PHP. ===================================================== Die PHP-Zeitfunktionen geben die Normalzeit aus. Damit ist in den Laendern mit Sommerzeit eine Korrektur erforderlich, sobald von der Normalzeit auf die Sommerzeit umgestellt wird bzw. umgekehrt. Bei der Umstellung der Normalzeit auf die Sommerzeit wird bei PHP die aktuelle Stunde mit dem Schalter »date("I")« um 1 erhoeht; bei der Umstellung der Sommerzeit auf die Normalzeit wird die aktuelle Stunde mit dem Schalter »date("I")« um 0 erhoeht. a) Normalzeit: » $Stunde += date("I"); « b) Sommerzeit: » $Stunde += date("I"); « Damit ergeben sich (zuverlaessig) beispielsweise fuer 10:00 Uhr als Normalzeit 10 Uhr (10+0) und als Sommerzeit 11 Uhr (10+1). Ob das aktuelle Datum in der Normalzeit oder in der Sommerzeit liegt - wird von »date("I")« automatisch erkannt. Franz-Josef (fj@huecker.com)