/** * Record the start time (will be used to calculate the generation time for the page) */ public static function timeStart() { list($usec, $sec) = explode(' ', microtime()); self::$time_start = (double) $usec + (double) $sec; }
</style> <?php include_javascripts(); ?> <link rel="shortcut icon" href="/css/core/favicon.ico" /> </head> <body> <h1><?php echo link_to('Core', '@homepage', array('title' => 'Go to homepage')); ?> framework</h1> <div id="body"> <div class="padding" style="margin-left:10px"> <?php echo $core_content; ?> </div> </div> <div id="footer"> <p>Page generated in <?php echo demoToolkit::timeEnd(); ?> secs</p> </div> </body> </html>