skin/pukiwiki.skin.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: pukiwiki.skin.php,v 1.18 2004/11/02 14:02:10 henoheno Exp $
   6 //
   7
   8 // Prohibit direct access
   9 if (! defined('UI_LANG')) exit;
  10
  11 // Set skin-specific images
  12 $_IMAGE['skin']['logo']     = 'pukiwiki.png';
  13 $_IMAGE['skin']['reload']   = 'reload.png';
  14 $_IMAGE['skin']['new']      = 'new.png';
  15 $_IMAGE['skin']['edit']     = 'edit.png';
  16 $_IMAGE['skin']['freeze']   = 'freeze.png';
  17 $_IMAGE['skin']['unfreeze'] = 'unfreeze.png';
  18 $_IMAGE['skin']['diff']     = 'diff.png';
  19 $_IMAGE['skin']['upload']   = 'file.png';
  20 $_IMAGE['skin']['copy']     = 'copy.png';
  21 $_IMAGE['skin']['rename']   = 'rename.png';
  22 $_IMAGE['skin']['top']      = 'top.png';
  23 $_IMAGE['skin']['list']     = 'list.png';
  24 $_IMAGE['skin']['search']   = 'search.png';
  25 $_IMAGE['skin']['recent']   = 'recentchanges.png';
  26 $_IMAGE['skin']['backup']   = 'backup.png';
  27 $_IMAGE['skin']['help']     = 'help.png';
  28 $_IMAGE['skin']['rss']      = 'rss.png';
  29
  30 $lang  = $_LANG['skin'];
  31 $link  = $_LINK;
  32 $image = $_IMAGE['skin'];
  33
  34 // Decide charset for CSS
  35 $css_charset = 'iso-8859-1';
  36 switch(UI_LANG){
  37         case 'ja': $css_charset = 'Shift_JIS'; break;
  38 }
  39
  40 // Output header
  41 header('Cache-control: no-cache');
  42 header('Pragma: no-cache');
  43 header('Content-Type: text/html; charset=' . CONTENT_CHARSET);
  44 if(ini_get('zlib.output_compression') && preg_match('/\bgzip\b/i', $_SERVER['HTTP_ACCEPT_ENCODING'])) {
  45         header('Content-Encoding: gzip');
  46         header('Vary: Accept-Encoding');
  47 }
  48 echo '<?xml version="1.0" encoding="' . CONTENT_CHARSET . '"?>';
  49
  50 // Output body
  51 if ($html_transitional) { ?>
  52 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  53 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo LANG ?>" lang="<?php echo LANG ?>">
  54 <?php } else { ?>
  55 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
  56 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo LANG ?>">
  57 <?php } ?>
  58 <head>
  59  <meta http-equiv="content-type" content="application/xhtml+xml; charset=<?php echo CONTENT_CHARSET ?>" />
  60  <meta http-equiv="content-style-type" content="text/css" />
  61 <?php if (! $is_read)  { ?> <meta name="robots" content="NOINDEX,NOFOLLOW" /><?php } ?>
  62 <?php if (PKWK_JAVASCRIPT && isset($javascript)) { ?> <meta http-equiv="Content-Script-Type" content="text/javascript" /><?php } ?>
  63
  64  <title><?php echo "$title - $page_title" ?></title>
  65  <link rel="stylesheet" href="skin/pukiwiki.css.php?charset=<?php echo $css_charset ?>" type="text/css" media="screen" charset="<?php echo $css_charset ?>" />
  66  <link rel="stylesheet" href="skin/pukiwiki.css.php?charset=<?php echo $css_charset ?>&amp;media=print" type="text/css" media="print" charset="<?php echo $css_charset ?>" />
  67   <link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo $link['rss'] ?>" /><?php // RSS auto-discovery ?>
  68
  69 <?php if (PKWK_JAVASCRIPT && $trackback_javascript) { ?> <script type="text/javascript" src="skin/trackback.js"></script><?php } ?>
  70
  71 <?php echo $head_tag ?>
  72 </head>
  73 <body>
  74
  75 <div id="header">
  76  <a href="<?php echo $link['top'] ?>"><img id="logo" src="<?php echo IMAGE_DIR . $image['logo'] ?>" width="80" height="80" alt="[PukiWiki]" title="[PukiWiki]" /></a>
  77
  78  <h1 class="title"><?php echo $page ?></h1>
  79
  80 <?php if ($is_page) { ?>
  81  <a href="<?php echo $link['reload'] ?>"><span class="small"><?php echo $link['reload'] ?></span></a>
  82 <?php } ?>
  83
  84 </div>
  85
  86 <div id="navigator">
  87 <?php
  88 function _navigator($key, $value = '', $javascript = ''){
  89         $lang = $GLOBALS['_LANG']['skin'];
  90         $link = $GLOBALS['_LINK'];
  91         if (! isset($lang[$key])) { echo 'LANG NOT FOUND'; return FALSE; }
  92         if (! isset($link[$key])) { echo 'LINK NOT FOUND'; return FALSE; }
  93         if (! PKWK_JAVASCRIPT) $javascript = '';
  94
  95         echo '<a href="' . $link[$key] . '" ' . $javascript . '>' .
  96                 (($value === '') ? $lang[$key] : $value) .
  97                 '</a>';
  98
  99         return TRUE;
 100 }
 101 ?>
 102 <?php if ($is_page) { ?>
 103  [ <?php _navigator('reload') ?> ] &nbsp;
 104
 105  [ <?php _navigator('new')    ?>
 106  | <?php _navigator('edit')   ?>
 107  <?php if ($is_read and $function_freeze) { ?>
 108  |  <?php (! $is_freeze) ? _navigator('freeze') : _navigator('unfreeze') ?>
 109  <?php } ?>
 110  | <?php _navigator('diff') ?>
 111  <?php if ((bool)ini_get('file_uploads')) { ?>
 112  | <?php _navigator('upload') ?>
 113  <?php } ?>
 114  ] &nbsp;
 115 <?php } ?>
 116
 117  [ <?php _navigator('top')  ?>
 118  | <?php _navigator('list') ?>
 119  <?php if (arg_check('list')) { ?>
 120  | <?php _navigator('filelist') ?>
 121  <?php } ?>
 122  | <?php _navigator('search') ?>
 123  | <?php _navigator('recent') ?>
 124  <?php if ($do_backup) { ?>
 125  | <?php _navigator('backup') ?>
 126  <?php } ?>
 127  | <?php _navigator('help')   ?>
 128  ]
 129
 130 <?php if ($trackback) { ?> &nbsp;
 131  [ <?php _navigator('trackback', $lang['trackback'] . '(' . tb_count($_page) . ')',
 132         ($trackback_javascript == 1) ? 'onClick="OpenTrackback(this.href); return false"' : '') ?> ]
 133 <?php } ?>
 134 <?php if ($referer)   { ?> &nbsp;
 135  [ <?php _navigator('refer') ?> ]
 136 <?php } ?>
 137
 138 </div>
 139
 140 <?php echo $hr ?>
 141
 142 <?php if (arg_check('read') and exist_plugin_convert('menu')) { ?>
 143 <table border="0" style="width:100%">
 144  <tr>
 145   <td class="menubar">
 146    <div id="menubar">
 147     <?php echo do_plugin_convert('menu') ?>
 148    </div>
 149   </td>
 150   <td valign="top">
 151    <div id="body"><?php echo $body ?></div>
 152   </td>
 153  </tr>
 154 </table>
 155 <?php } else { ?>
 156 <div id="body"><?php echo $body ?></div>
 157 <?php } ?>
 158
 159 <?php if ($notes) { ?>
 160 <div id="note">
 161 <?php echo $notes ?>
 162 </div>
 163 <?php } ?>
 164
 165 <?php if ($attaches) { ?>
 166 <div id="attach">
 167 <?php echo $hr ?>
 168 <?php echo $attaches ?>
 169 </div>
 170 <?php } ?>
 171
 172 <?php echo $hr ?>
 173
 174 <div id="toolbar">
 175 <?php
 176 function _toolbar($key, $x = 20, $y = 20){
 177         $lang  = $GLOBALS['_LANG']['skin'];
 178         $link  = $GLOBALS['_LINK'];
 179         $image = $GLOBALS['_IMAGE']['skin'];
 180         if (! isset($lang[$key]) ) { echo 'LANG NOT FOUND';  return FALSE; }
 181         if (! isset($link[$key]) ) { echo 'LINK NOT FOUND';  return FALSE; }
 182         if (! isset($image[$key])) { echo 'IMAGE NOT FOUND'; return FALSE; }
 183
 184         echo '<a href="' . $link[$key] . '">' .
 185                 '<img src="' . IMAGE_DIR . $image[$key] . '" width="' . $x . '" height="' . $y . '" ' .
 186                         'alt="' . $lang[$key] . '" title="' . $lang[$key] . '" />' .
 187                 '</a>';
 188         return TRUE;
 189 }
 190 ?>
 191 <?php if ($is_page) { ?>
 192  <?php _toolbar('reload') ?>
 193  &nbsp;
 194  <?php _toolbar('new') ?>
 195  <?php _toolbar('edit') ?>
 196  <?php if ($is_read and $function_freeze) { ?>
 197   <?php if (! $is_freeze) { _toolbar('freeze'); } else { _toolbar('unfreeze'); } ?>
 198  <?php } ?>
 199  <?php _toolbar('diff') ?>
 200  <?php if ((bool)ini_get('file_uploads')) { ?>
 201   <?php _toolbar('upload') ?>
 202  <?php } ?>
 203  <?php _toolbar('copy') ?>
 204  <?php _toolbar('rename') ?>
 205  &nbsp;
 206 <?php } ?>
 207  <?php _toolbar('top')    ?>
 208  <?php _toolbar('list')   ?>
 209  <?php _toolbar('search') ?>
 210  <?php _toolbar('recent') ?>
 211 <?php if ($do_backup) { ?>
 212   <?php _toolbar('backup') ?>
 213 <?php } ?>
 214  &nbsp; <?php _toolbar('help') ?>
 215  &nbsp; <?php _toolbar('rss', 36, 14) ?>
 216 </div>
 217
 218 <?php if ($lastmodified) { ?>
 219 <div id="lastmodified">
 220  Last-modified: <?php echo $lastmodified ?>
 221 </div>
 222 <?php } ?>
 223
 224 <?php if ($related) { ?>
 225 <div id="related">
 226  Link: <?php echo $related ?>
 227 </div>
 228 <?php } ?>
 229
 230 <div id="footer">
 231  Modified by <a href="<?php echo $modifierlink ?>"><?php echo $modifier ?></a>
 232  <br /><br />
 233  <?php echo S_COPYRIGHT ?>
 234  <br />
 235  Powered by PHP <?php echo PHP_VERSION ?>
 236  <br /><br />
 237  HTML convert time to <?php echo $taketime ?> sec.
 238 </div>
 239
 240 </body>
 241 </html>