// zaciatok generovania - niekde na zaciatku config.php
function gentime() {
    static $start_time;
    if($start_time == 0) $start_time = microtime(true);
    else return (string)(microtime(true)-$start_time);
}
gentime();




// vsade za ukoncenie generovania vzhladu... (view.php, search.php, ...) za riadok s druhym volanim $vzhledwebu->Generuj();
echo '<!-- Čas generovania stránky:'.round(gentime(), 3).' s -->';