- microtime: documentation ( source)
- number_format: documentation ( source)
<?php
$inside = " julio ";
$timestart = microtime( true );
for($i=0;$i<=5000;$i++)
echo "<p>My name is $inside !</p>\n";
$timeend = microtime( true );
$timetotal = $timeend - $timestart;
echo number_format( $timetotal, 3 );