- var_dump: documentation ( source)
- microtime: documentation ( source)
- str_repeat: documentation ( source)
- number_format: documentation ( source)
<?php
$startTime = microtime(true);
for ($i = 0; $i < 16; ++$i) {
str_repeat('%d ', 12500);
}
$t=microtime(true) - $startTime;
var_dump($t,number_format($t,10));