Tiempo de ejecución de una página web con PHP

Esta función mide el tiempo que tarde en ejecutarse una página web.

1. <?php  
2. //Crea una variable con el tiempo inicial  
3. $tiempo_inicial = microtime(true);  
4.   .......
5. // Coloca en este espacio tu  
6. // PHP  
7. // HTML  
8. // JavaScript  
9. // CSS  
10. // etc,  
11.   ........ 
12. //Crea una variable con el tiempo final  
13. $tiempo_final = microtime(true);  
14. //Restamos los dos tiempos  
15. $tiempo_ejecucion = $tiempo_final - $tiempo_inicial;  
16.   
17. echo 'La página tard&oacute; '.round($tiempo_ejecucion,4).' segundos en ejecutarse';  
18. ?>