Creo que exactamente no se llamaria tiempo de descarga, sino página generada en:
Esto antes de <html>:
Código:
<?php
$mtime = microtime();
$mtime = explode(" ",$mtime);
$mtime = $mtime[1] + $mtime[0];
$tiempoinicial = $mtime;
;?>
Luego iria:
<html>
<head>
Tu cabecera
</head>
<body>
Cuerpo de tu web
Donde quieras que aparezca, pones esto:
Código:
<?php
$mtime = microtime();
$mtime = explode(" ",$mtime);
$mtime = $mtime[1] + $mtime[0];
$tiempofinal = $mtime;
$tiempototal = ($tiempofinal - $tiempoinicial);
echo "La página fué generada en ".$tiempototal." segundos";
;?>
</body>
</html>
Un Saludo