2010-10-09 12:09:39 +02:00
< ? xml version = " 1.0 " encoding = " utf-8 " ?>
2010-11-02 19:09:27 +01:00
<! DOCTYPE html PUBLIC " -//W3C//DTD XHTML 1.1//EN " " http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd " >
2007-12-12 17:29:16 +01:00
< html xmlns = " http://www.w3.org/1999/xhtml " xml : lang = " en " >
2009-09-20 19:21:48 +02:00
< head >
2010-10-09 12:09:39 +02:00
< meta http - equiv = " Content-Type " content = " application/xhtml+xml; charset=utf-8 " />
2009-09-20 19:21:48 +02:00
< title >< ? php echo filter ( $GLOBALS [ 'sitename' ] . ( isset ( $pagetitle ) ? ' » ' . $pagetitle : '' )); ?> </title>
2011-05-23 18:10:51 +02:00
< link rel = " icon " type = " image/png " href = " <?php echo ROOT ?>themes/<?php echo $GLOBALS['theme'] ; ?>/icon.png " />
< link rel = " stylesheet " type = " text/css " href = " <?php echo ROOT ?>themes/<?php echo $GLOBALS['theme'] ; ?>/scuttle.css " />
2010-09-27 00:06:31 +02:00
< link rel = " search " type = " application/opensearchdescription+xml " href = " <?php echo ROOT ?>api/opensearch.php " title = " <?php echo htmlspecialchars( $GLOBALS['sitename'] ) ?> " />
2008-11-13 10:49:11 +01:00
< ? php
2010-09-27 00:06:31 +02:00
if ( isset ( $rsschannels )) {
2008-05-10 10:59:41 +02:00
$size = count ( $rsschannels );
for ( $i = 0 ; $i < $size ; $i ++ ) {
2010-09-27 00:06:31 +02:00
echo ' <link rel="alternate" type="application/rss+xml" title="'
. htmlspecialchars ( $rsschannels [ $i ][ 0 ]) . '"'
. ' href="' . $rsschannels [ $i ][ 1 ] . '" />' ;
2008-05-10 10:59:41 +02:00
}
2008-11-13 10:49:11 +01:00
}
?>
2010-09-27 00:06:31 +02:00
2008-12-03 10:46:31 +01:00
< ? php if ( isset ( $loadjs )) : ?>
2010-10-13 18:58:46 +02:00
< ? php if ( DEBUG_MODE ) : ?>
< script type = " text/javascript " src = " <?php echo ROOT_JS ?>jquery-1.4.2.js " ></ script >
< script type = " text/javascript " src = " <?php echo ROOT_JS ?>jquery.jstree.js " ></ script >
< ? php else : ?>
< script type = " text/javascript " src = " <?php echo ROOT_JS ?>jquery-1.4.2.min.js " ></ script >
< script type = " text/javascript " src = " <?php echo ROOT_JS ?>jquery.jstree.min.js " ></ script >
< ? php endif ?>
2009-09-20 19:21:48 +02:00
< script type = " text/javascript " src = " <?php echo ROOT ?>jsScuttle.php " ></ script >
2008-11-13 10:49:11 +01:00
< ? php endif ?>
2009-09-20 19:21:48 +02:00
</ head >
2010-10-01 21:37:53 +02:00
< body >
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 ) {
2009-10-26 07:39:23 +01:00
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.php.' ) . " </p> \n " ;
2009-06-04 11:37:46 +02:00
}
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
?>
