PHP Execution Time

Run Settings
LanguagePHP
Language Version
Run Command
<?php function executionTime($fn){ $time_start = microtime(true); $fn(); $time_end = microtime(true); $execution_time = (($time_end - $time_start)/60) * 60 * 1000; $execution_time = round($execution_time, 3); echo $execution_time.' miliseconds'; } executionTime(function(){ sleep(3); });
Editor Settings
Theme
Key bindings
Full width
Lines