hphp/test/zend/bad/ext-date/bug41599.php

   1 <?php
   2 date_default_timezone_set('Europe/London');
   3
   4 $start = new DateTime('2008-01-17 last Monday');
   5 echo $start->format('Y-m-d H:i:s'),PHP_EOL;
   6 //good
   7
   8 $start->modify('Tuesday');
   9 echo $start->format('Y-m-d H:i:s'),PHP_EOL;
  10 //good
  11
  12 $start->setTime(4, 0, 0);
  13 echo $start->format('Y-m-d H:i:s'),PHP_EOL;
  14 //jumped to next Sunday
  15
  16 $start->setTime(8, 0, 0);
  17 echo $start->format('Y-m-d H:i:s'),PHP_EOL;
  18 //jumped to next Sunday again
  19 ?>