hphp/test/zend/bad/ext-date/date_modify-1.php

   1 <?php
   2 date_default_timezone_set("Pacific/Kwajalein");
   3 $ts = date_create("Thu Aug 19 1993 23:59:59");
   4 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
   5 $ts->modify("+1 second");
   6 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
   7
   8 date_default_timezone_set("Europe/Amsterdam");
   9 $ts = date_create("Sun Mar 27 01:59:59 2005");
  10 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
  11 $ts->modify("+1 second");
  12 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
  13
  14 $ts = date_create("Sun Oct 30 01:59:59 2005");
  15 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
  16 $ts->modify("+ 1 hour 1 second");
  17 echo date_format($ts, 'D, d M Y H:i:s T'), "\n";
  18 ?>