Online PHP editor | refs for LHV7h

@ 2013-06-01T14:15:00Z

<?php
for($i=0;$i<10000000;$i++) {  
  
}  
  
$data = getrusage();  
echo "User time: ".  
    ($data['ru_utime.tv_sec'] +  
    $data['ru_utime.tv_usec'] / 1000000);  
echo "System time: ".  
    ($data['ru_stime.tv_sec'] +  
    $data['ru_stime.tv_usec'] / 1000000);