- microtime: documentation ( source)
- function_exists: documentation ( source)
- date_default_timezone_set: documentation ( source)
- ini_get: documentation ( source)
- number_format: documentation ( source)
<?php
// see https://github.com/eyecatchup/SEOstats/pull/42#issuecomment-29747931
if (!ini_get('date.timezone') && function_exists('date_default_timezone_set')) {
date_default_timezone_set('UTC');
}
function getMilliTime()
{
return number_format(microtime(true) * 1000, 0, '.', '');
}
echo getMilliTime();