(int) ($date.'000') returns 2147483647 that is PHP_INT_MAX on a 32-bit system so that I removed integer casting.
For example, on a 32 bit system, it goes to the following.
$date = 1367129640;
(int) ($date.'000') -> 2147483647 (integer)
(int) $date.'000' -> "1367129640000" (string)
$date.'000' -> "1367129640000" (string)
$date * 1000 -> 1367129640000 (double)
rsanchez
commented
10 years ago
(int) ($date.'000') returns 2147483647 that is PHP_INT_MAX on a 32-bit system so that I removed integer casting.
For example, on a 32 bit system, it goes to the following. $date = 1367129640; (int) ($date.'000') -> 2147483647 (integer) (int) $date.'000' -> "1367129640000" (string) $date.'000' -> "1367129640000" (string) $date * 1000 -> 1367129640000 (double)
On a 64 bit system, this works as it is.