Index: branches/5.2.x/tools/run_event.php =================================================================== diff -u -N -r14692 -r14726 --- branches/5.2.x/tools/run_event.php (.../run_event.php) (revision 14692) +++ branches/5.2.x/tools/run_event.php (.../run_event.php) (revision 14726) @@ -1,6 +1,6 @@ Done(); -$end = getmicrotime(); - -function getmicrotime() -{ - list($usec, $sec) = explode(" ", microtime()); - return ((float)$usec + (float)$sec); -} +$end = microtime(true); \ No newline at end of file