1--TEST--
2strtotime() - Format: @timestamps
3--FILE--
4<?php
5date_default_timezone_set("GMT");
6
7$i = 5;
8$max = getrandmax();
9$max_2 = $max / 2;
10
11while($i--) {
12    $new_tm = rand(1, $max);
13    if ($new_tm > $max_2)
14        $new_tm *= -1;
15
16    if (strtotime("@$new_tm") != $new_tm) {
17        echo "Error when parsing: @$new_tm\n";
18    }
19}
20
21echo "done!";
22?>
23--EXPECT--
24done!
25