/**
* 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>
