xref: /PHP-7.2/ext/date/tests/bug35143.phpt (revision 2bb4d828) 
1--TEST--
2Bug #35143 (gettimeofday() ignores current time zone)
3--FILE--
4<?php
5date_default_timezone_set("UTC");
6
7var_dump(date_default_timezone_get());
8var_dump(gettimeofday());
9?>
10--EXPECTF--
11string(3) "UTC"
12array(4) {
13  ["sec"]=>
14  int(%d)
15  ["usec"]=>
16  int(%d)
17  ["minuteswest"]=>
18  int(0)
19  ["dsttime"]=>
20  int(0)
21}
22