Did you mean (for PHP_5_4): getmicrotime   microtime  

Your search defs:arginfo_microtime did not match any files.
Suggestions: