2011-07-23 08:27:17 +02:00
< ? php echo '<' ; ?> ?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-25 19:43:36 +02:00
< link rel = " icon " type = " image/png " href = " <?php echo $theme->resource ('icon.png');?> " />
< link rel = " stylesheet " type = " text/css " href = " <?php echo $theme->resource ('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 ]) . '"'
2011-06-27 23:03:31 +02:00
. ' href="' . htmlspecialchars ( $rsschannels [ $i ][ 1 ]) . '" />' . " \n " ;
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 >
2015-01-21 22:05:12 +01:00
< ? php
$bodystyle = '' ;
if ( isset ( $_GET [ 'popup' ])) {
if ( isset ( $_GET [ 'height' ])) {
$bodystyle .= 'height:' . intval ( $_GET [ 'height' ]) . 'px;' ;
}
if ( isset ( $_GET [ 'width' ])) {
$bodystyle .= 'width:' . intval ( $_GET [ 'width' ]) . 'px;' ;
}
if ( $bodystyle != '' ) {
$bodystyle = ' style="' . $bodystyle . '"' ;
}
}
?>
< body < ? php echo $bodystyle ; ?> >
2007-12-12 17:29:16 +01:00
< ? php
$headerstyle = '' ;
2015-01-21 22:05:12 +01:00
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
2011-08-18 16:18:28 +02:00
if ( isset ( $subtitlehtml )) {
echo '<h2>' . $subtitlehtml . " </h2> \n " ;
} else if ( isset ( $subtitle )) {
echo '<h2>' . htmlspecialchars ( $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
?>
