skin/pukiwiki.skin.php

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