1--TEST--
2Check the function date_timestamp_set() with first parameter wrong (integer).
3--CREDITS--
4Rodrigo Prado de Jesus <royopa [at] gmail [dot] com>
5--INI--
6date.timezone = UTC;
7date_default_timezone_set("America/Sao_Paulo");
8--FILE--
9<?php
10$dftz021 = date_default_timezone_get(); //UTC
11
12date_timestamp_set(987654321, 123456789);
13?>
14--EXPECTF--
15Warning: date_timestamp_set() expects parameter 1 to be DateTime, integer given in %s on line %d