<?
$pagestartime=microtime();
?>
<!--网页内容 start-->
网页内容
...
...
<!--网页内容 end-->
<?
$pageendtime = microtime();
$starttime = explode(" ",$pagestartime);
$endtime = explode(" ",$pageendtime);
$totaltime = $endtime[0]-$starttime[0]+$endtime[1]-$starttime[1];
$timecost = sprintf("%s",$totaltime);
echo "页面运行时间: $timecost 秒";
?>
Comment configurer l'hibernation dans le système Win7
Comment échanger de la monnaie virtuelle
Commandes communes OGG
méthode de mise à niveau Win10
Comment apprendre la programmation Python à partir de zéro
Comment résoudre le problème que les CSS ne peuvent pas être chargés
Quels sont les caractères génériques Oracle ?
Comment obtenir du Bitcoin
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
