getmicrotime      357 Zend/bench.php   return getmicrotime();
getmicrotime      363 Zend/bench.php   $end = getmicrotime();
getmicrotime      371 Zend/bench.php   return getmicrotime();
getmicrotime      250 Zend/micro_bench.php   return getmicrotime();
getmicrotime      257 Zend/micro_bench.php   $end = getmicrotime();
getmicrotime      270 Zend/micro_bench.php   return getmicrotime();