1--TEST--
2DateTime: Test correct setup and correct DateTime parameter to date_timestamp_get()
3--CREDITS--
4Havard Eide <nucleuz@gmail.com>
5#PHPTestFest2009 Norway 2009-06-09 \o/
6--INI--
7date.timezone=UTC
8--FILE--
9<?php
10$tz = date_timestamp_get(new DateTime());
11var_dump(is_int($tz));
12echo "\n\n";
13$tz = date_timestamp_get(time());
14?>
15--EXPECTF--
16bool(true)
17
18
19
20Warning: date_timestamp_get() expects parameter 1 to be DateTimeInterface, integer given in %s on line %d
21