skin/pukiwiki.skin.php

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