Il existe probablement un moyen de le faire via MySQL, cependant, le moyen le plus simple (et le plus fiable) consiste à utiliser le microtime
de PHP. fonction, qui renvoie l'heure actuelle en millisecondes.
Quelques exemples de code :
$sql = '...';
$msc = microtime(true);
mysql_query($sql);
$msc = microtime(true)-$msc;
echo $msc . ' s'; // in seconds
echo ($msc * 1000) . ' ms'; // in millseconds