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