Hoe haal ik de uitvoeringstijd van een MySQL-query uit PHP?

Er is waarschijnlijk een manier om dit via MySQL te doen, maar de gemakkelijke (en betrouwbare) manier is het gebruik van PHP's microtime functie, die de huidige tijd in milliseconden teruggeeft.

Enkele voorbeeldcode:

$sql = '...';
$msc = microtime(true);
mysql_query($sql);
$msc = microtime(true)-$msc;
echo $msc . ' s'; // in seconds
echo ($msc * 1000) . ' ms'; // in millseconds