- microtime: documentation ( source)
- shuffle: documentation ( source)
- range: documentation ( source)
- number_format: documentation ( source)
<?php
$range = range(1, 500000);
$startTime = microtime(true);
shuffle($range);
echo "Time: " . number_format(( microtime(true) - $startTime), 4) . " Seconds\n";