skin/pukiwiki.skin.php

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