added a count of total bookmarks on each page
[scuttle] / templates / top.inc.php
1 <?php header('Content-Type: text/html; charset=utf-8'); ?>
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
4 <head>
5     <title><?php echo filter($GLOBALS['sitename'] . (isset($pagetitle) ? ': ' . $pagetitle : '')); ?></title>
6     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
7     <link rel="icon" type="image/png" href="<?php echo $GLOBALS['root']; ?>icon.png" />
8     <link rel="stylesheet" type="text/css" href="<?php echo $GLOBALS['root']; ?>includes/smoothness/jquery-ui-1.8.9.custom.css" />
9     <link rel="stylesheet" type="text/css" href="<?php echo $GLOBALS['root']; ?>scuttle.css" />
10
11     <?php
12     $size = count($rsschannels);
13     for ($i = 0; $i < $size; $i++) {
14         echo '<link rel="alternate" type="application/rss+xml" title="'. $rsschannels[$i][0] .'" href="'. $rsschannels[$i][1] .'" />';
15     }
16     ?>
17     <?php if ($loadjs): ?>
18         <script type="text/javascript" src="<?php echo $GLOBALS['root']; ?>includes/jquery-1.5.min.js"></script>
19         <script type="text/javascript" src="<?php echo $GLOBALS['root']; ?>includes/jquery-ui-1.8.9.min.js"></script>
20         <script type="text/javascript" src="<?php echo $GLOBALS['root']; ?>jsScuttle.php"></script>
21
22     <?php endif; ?>
23 </head>
24 <body>
25
26 <?php
27 $headerstyle = '';
28 if (isset($_GET['popup'])) {
29     $headerstyle = ' class="popup"';
30 }
31 ?>
32
33 <div id="header"<?php echo $headerstyle; ?>>
34     <h1><a href="<?php echo $GLOBALS['root']; ?>"><?php echo $GLOBALS['sitename']; ?></a></h1>
35     <?php
36     if (!isset($_GET['popup'])) {
37         $this->includeTemplate('toolbar.inc');
38     }
39     ?>
40 </div>
41
42 <?php
43 if (isset($subtitle)) {
44     echo '<h2>'. $subtitle;
45     if (isset($total)) {
46         echo " (" . $total . ")";
47     }
48     echo "</h2>\n";
49 }
50 if (isset($error)) {
51     echo '<p class="error">'. $error ."</p>\n";
52 }
53 if (isset($msg)) {
54     echo '<p class="success">'. $msg ."</p>\n";
55 }
56 ?>

Benjamin Mako Hill || Want to submit a patch?