--TEST--
Test date_time_set() function : basic functionality 
--FILE--
<?php
/* Prototype  : DateTime date_time_set  ( DateTime $object  , int $hour  , int $minute  [, int $second  ] )
 * Description: Resets the current time of the DateTime object to a different time. 
 * Source code: ext/date/php_date.c
 * Alias to functions: DateTime::setTime
 */
 
 //Set the default time zone 
date_default_timezone_set("Europe/London");

echo 
"*** Testing date_time_set() : basic functionality ***\n";

// Create a DateTime object
$datetime date_create("2009-01-31 15:14:10");

echo 
"Initial date: " date_format($datetimeDATE_RFC2822) . "\n";

date_time_set($datetime1720);
echo 
"After modification1 " date_format($datetimeDATE_RFC2822) . "\n";

date_time_set($datetime190559);
echo 
"After modification2 " date_format($datetimeDATE_RFC2822) . "\n";

date_time_set($datetime2410);
echo 
"After modification3 " date_format($datetimeDATE_RFC2822) . "\n";

date_time_set($datetime473547);
echo 
"After modification4 " date_format($datetimeDATE_RFC2822) . "\n";

date_time_set($datetime5425);
echo 
"After modification5 " date_format($datetimeDATE_RFC2822) . "\n";

?>
===DONE===
--EXPECTF--
*** Testing date_time_set() : basic functionality ***
Initial date: Sat, 31 Jan 2009 15:14:10 +0000
After modification1 Sat, 31 Jan 2009 17:20:00 +0000
After modification2 Sat, 31 Jan 2009 19:05:59 +0000
After modification3 Sun, 01 Feb 2009 00:10:00 +0000
After modification4 Mon, 02 Feb 2009 23:35:47 +0000
After modification5 Wed, 04 Feb 2009 06:25:00 +0000
===DONE===