'.$this->pagetitle.'
';
}
public function foot(){
echo '
';
$this->pageGenTime = round(microtime(), 3);
echo '
'.$this->pagetitle.'
'; if (isset($session['saved']) && count($session['saved']) > 0) { echo '
\n"; echo "
\n" . ' ' . $message . "\n" . "
\n"; $page_404->foot(); exit(); } /** * \brief * Start the PHP session by calling session_start(). * * Used to make sure that different areas of our code don't call * session_start() multiple times and to make it easier to ensure * that session_start() is called at least before it's needed. */ public static function session_start() { static $session_started = FALSE; if (!$session_started) { session_name('slate_permutate'); session_start(); $session_started = TRUE; } } /** * \brief * Get the current school profile handle. */ public function get_school() { return $this->school; } }