2007-12-12 17:29:16 +01:00
< ? php header ( 'Content-Type: text/html; charset=utf-8' ); ?>
<! DOCTYPE html PUBLIC " -//W3C//DTD XHTML 1.1//EN " " http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd " >
< html xmlns = " http://www.w3.org/1999/xhtml " xml : lang = " en " >
< head >
2009-02-09 11:42:15 +01:00
< title >< ? php echo filter ( $GLOBALS [ 'sitename' ] . ( isset ( $pagetitle ) ? ' » ' . $pagetitle : '' )); ?> </title>
2008-11-13 10:49:11 +01:00
< meta http - equiv = " Content-Type " content = " text/html; charset=utf-8 " />
2008-12-03 10:46:31 +01:00
< link rel = " icon " type = " image/png " href = " <?php echo ROOT ?>icon.png " />
2008-11-13 10:49:11 +01:00
< link rel = " stylesheet " type = " text/css "
2008-11-21 11:44:28 +01:00
href = " <?php echo ROOT ?>scuttle.css " />
2009-05-25 12:51:51 +02:00
< link rel = " search " type = " application/opensearchdescription+xml " href = " <?php echo ROOT ?>api/opensearch.php " title = " <?php echo $GLOBALS['sitename'] ?> " />
2008-11-13 10:49:11 +01:00
< ? php
if ( isset ( $rsschannels )) {
2008-05-10 10:59:41 +02:00
$size = count ( $rsschannels );
for ( $i = 0 ; $i < $size ; $i ++ ) {
2008-11-13 10:49:11 +01:00
echo '<link rel="alternate" type="application/rss+xml" title="' . $rsschannels [ $i ][ 0 ] . '" href="' . $rsschannels [ $i ][ 1 ] . '" />' ;
2008-05-10 10:59:41 +02:00
}
2008-11-13 10:49:11 +01:00
}
?>
2008-11-30 20:32:15 +01:00
< link rel = " stylesheet " type = " text/css "
2009-01-06 18:43:35 +01:00
href = " http://ajax.googleapis.com/ajax/libs/dojo/1.2/dijit/themes/nihilo/nihilo.css " />
2008-11-13 10:49:11 +01:00
2008-12-03 10:46:31 +01:00
< ? php if ( isset ( $loadjs )) : ?>
< script type = " text/javascript " src = " <?php echo ROOT ?>jsScuttle.php " ></ script >
2008-11-13 10:49:11 +01:00
< ? php endif ?>
2007-12-12 17:29:16 +01:00
</ head >
2008-11-13 10:49:11 +01:00
2008-11-20 14:42:03 +01:00
< body class = " nihilo " >
<!-- the class is used by Dojo widgets -->
2007-12-12 17:29:16 +01:00
< ? php
$headerstyle = '' ;
if ( isset ( $_GET [ 'popup' ])) {
2008-11-13 10:49:11 +01:00
$headerstyle = ' class="popup"' ;
2007-12-12 17:29:16 +01:00
}
?>
2008-11-13 10:49:11 +01:00
< div id = " header " < ? php echo $headerstyle ; ?> >
2008-11-21 11:44:28 +01:00
< h1 >< a href = " <?php echo ROOT ?> " >< ? php echo $GLOBALS [ 'sitename' ]; ?> </a></h1>
2008-11-13 10:49:11 +01:00
< ? php
if ( ! isset ( $_GET [ 'popup' ])) {
$this -> includeTemplate ( 'toolbar.inc' );
}
2009-02-17 11:25:29 +01:00
?> </div>
2007-12-12 17:29:16 +01:00
< ? php
if ( isset ( $subtitle )) {
2008-11-13 10:49:11 +01:00
echo '<h2>' . $subtitle . " </h2> \n " ;
2007-12-12 17:29:16 +01:00
}
2009-06-04 11:37:46 +02:00
if ( DEBUG_MODE ) {
echo '<p class="error">' . T_ ( 'Admins, your installation is in "Debug Mode" ($debugMode = true). To go in "Normal Mode" and hide debugging messages, change $debugMode to false into config.inc.php.' ) . " </p> \n " ;
}
2008-12-03 14:24:17 +01:00
if ( isset ( $error ) && $error != '' ) {
2008-11-13 10:49:11 +01:00
echo '<p class="error">' . $error . " </p> \n " ;
2007-12-12 17:29:16 +01:00
}
2008-11-27 11:13:29 +01:00
if ( isset ( $msg ) && $msg != '' ) {
2008-11-13 10:49:11 +01:00
echo '<p class="success">' . $msg . " </p> \n " ;
2007-12-12 17:29:16 +01:00
}
2008-12-04 16:30:59 +01:00
if ( isset ( $tipMsg ) && $tipMsg != '' ) {
echo '<p class="tipMsg">' . $tipMsg . " </p> \n " ;
}
2009-02-17 11:25:29 +01:00
?>
