Fix timestamp: PHP wants the number of seconds, not milliseconds