Possible Duplicate:
php get microtime from date string
For a specific purpose, I need to get the 13-digit timestamp for a date/time, but I couldn't find a solution for this.
Like mktime in PHP, we can get a 10-digit timestamp
echo mktime($hour, $minute, $second, $month, $day, $year);
This outputs something like 1346689283.
So what about the 13-digit timestamp? Is PHP itself capable of generating such timestamps?