OSDN Git Service

Rename SKIN_LANG => UI_LANG. Enable UI_LANG to change PukiWiki UI Language settings...
[pukiwiki/pukiwiki.git] / skin / pukiwiki.skin.php
1 <?php
2 /////////////////////////////////////////////////
3 // PukiWiki - Yet another WikiWikiWeb clone.
4 //
5 // $Id: pukiwiki.skin.php,v 1.12 2004/10/17 13:29:52 henoheno Exp $
6 //
7
8 // Prohibit direct access
9 if (! defined('UI_LANG')) exit;
10
11 // Load language resources
12 $skin_lang = 'skin.' . UI_LANG . '.lng';
13 $lang = array();
14 if (! file_exists(SKIN_DIR . $skin_lang)) {
15         die($skin_lang . ' is not found');  // die_message() causes a loop!
16 } else {
17         require_once(SKIN_DIR . $skin_lang);
18 }
19
20 // Set skin-specific images
21 $_IMAGE['skin']['logo']     = 'pukiwiki.png';
22 $_IMAGE['skin']['reload']   = 'reload.png';
23 $_IMAGE['skin']['new']      = 'new.png';
24 $_IMAGE['skin']['edit']     = 'edit.png';
25 $_IMAGE['skin']['freeze']   = 'freeze.png';
26 $_IMAGE['skin']['unfreeze'] = 'unfreeze.png';
27 $_IMAGE['skin']['diff']     = 'diff.png';
28 $_IMAGE['skin']['upload']   = 'file.png';
29 $_IMAGE['skin']['copy']     = 'copy.png';
30 $_IMAGE['skin']['rename']   = 'rename.png';
31 $_IMAGE['skin']['top']      = 'top.png';
32 $_IMAGE['skin']['list']     = 'list.png';
33 $_IMAGE['skin']['search']   = 'search.png';
34 $_IMAGE['skin']['recent']   = 'recentchanges.png';
35 $_IMAGE['skin']['backup']   = 'backup.png';
36 $_IMAGE['skin']['help']     = 'help.png';
37 $_IMAGE['skin']['rss']      = 'rss.png';
38
39 $lang  = $_LANG['skin'];
40 $link  = $_LINK;
41 $image = $_IMAGE['skin'];
42
43 // Decide charset for CSS
44 $css_charset = 'iso-8859-1';
45 switch(UI_LANG){
46         case 'ja': $css_charset = 'Shift_JIS'; break;
47 }
48
49 // Output header
50 header('Cache-control: no-cache');
51 header('Pragma: no-cache');
52 header('Content-Type: text/html; charset=' . CONTENT_CHARSET);
53 echo '<?xml version="1.0" encoding="' . CONTENT_CHARSET . '"?>';
54
55 // Output body
56 if ($html_transitional) { ?>
57 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
58 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo LANG ?>" lang="<?php echo LANG ?>">
59 <?php } else { ?>
60 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
61 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo LANG ?>">
62 <?php } ?>
63 <head>
64  <meta http-equiv="content-type" content="application/xhtml+xml; charset=<?php echo CONTENT_CHARSET ?>" />
65  <meta http-equiv="content-style-type" content="text/css" />
66 <?php if (! $is_read)  { ?> <meta name="robots" content="NOINDEX,NOFOLLOW" /><?php } ?>
67 <?php if ($javascript) { ?> <meta http-equiv="Content-Script-Type" content="text/javascript" /><?php } ?>
68
69  <title><?php echo "$title - $page_title" ?></title>
70  <link rel="stylesheet" href="skin/pukiwiki.css.php?charset=<?php echo $css_charset ?>" type="text/css" media="screen" charset="<?php echo $css_charset ?>" />
71  <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 ?>" />
72
73 <?php if ($trackback) { ?> <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  <a href="<?php echo $link['reload'] ?>"><span class="small"><?php echo $link['reload'] ?></span></a>
86 <?php } ?>
87
88 </div>
89
90 <div id="navigator">
91 <?php
92 function _navigator($key, $value = ''){
93         $lang = $GLOBALS['_LANG']['skin'];
94         $link = $GLOBALS['_LINK'];
95         if (! isset($lang[$key])) { echo 'LANG NOT FOUND'; return FALSE; }
96         if (! isset($link[$key])) { echo 'LINK NOT FOUND'; return FALSE; }
97
98         echo '<a href="' . $link[$key] . '">' . (($value === '') ? $lang[$key] : $value) . '</a>';
99
100         return TRUE;
101 }
102 ?>
103 <?php if ($is_page) { ?>
104  [ <?php _navigator('reload') ?> ] &nbsp;
105
106  [ <?php _navigator('new')    ?>
107  | <?php _navigator('edit')   ?>
108  <?php if ($is_read and $function_freeze) { ?>
109  |  <?php (! $is_freeze) ? _navigator('freeze') : _navigator('unfreeze') ?>
110  <?php } ?>
111  | <?php _navigator('diff') ?>
112  <?php if ((bool)ini_get('file_uploads')) { ?>
113  | <?php _navigator('upload') ?>
114  <?php } ?>
115  ] &nbsp;
116 <?php } ?>
117
118  [ <?php _navigator('top')  ?>
119  | <?php _navigator('list') ?>
120  <?php if (arg_check('list')) { ?>
121  | <?php _navigator('filelist') ?>
122  <?php } ?>
123  | <?php _navigator('search') ?>
124  | <?php _navigator('recent') ?>
125  <?php if ($do_backup) { ?>
126  | <?php _navigator('backup') ?>
127  <?php } ?>
128  | <?php _navigator('help')   ?>
129  ]
130
131 <?php if ($trackback) { ?> &nbsp;
132  [ <?php _navigator('trackback', $lang['trackback'] . '(' . tb_count($_page) . ')') ?> ]
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>