1--TEST--
2Test date_date_set() function : basic functionality
3--FILE--
4<?php
5 //Set the default time zone
6date_default_timezone_set("Europe/London");
7
8echo "*** Testing date_date_set() : basic functionality ***\n";
9
10$datetime = date_create("2009-01-30 19:34:10");
11
12echo date_format($datetime, DATE_RFC2822) . "\n";
13
14date_date_set($datetime, 2008, 02, 01);
15
16echo date_format($datetime, DATE_RFC2822) . "\n";
17
18?>
19--EXPECT--
20*** Testing date_date_set() : basic functionality ***
21Fri, 30 Jan 2009 19:34:10 +0000
22Fri, 01 Feb 2008 19:34:10 +0000
23