OSDN Git Service

ぱんだ:開発日記/2002-11-29参照
[pukiwiki/pukiwiki.git] / skin / pukiwiki.skin.en.php
index 471d16b..a7911ac 100644 (file)
-<? global $page_title; ?>\r
-<!doctype html public "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">\r
+<?php global $page_title; header("Content-Type: text/html; charset=iso-8859-1") ?>\r
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">\r
 <html>\r
 <head>\r
-<META HTTP-EQUIV="content-type" CONTENT="text/html; charset=iso-8859-1">\r
-<meta http-equiv="content-style-type" content="text/css">\r
-<title><?=$page_title ?> - <?=$title?></title>\r
-<link rel="stylesheet" href="skin/default.en.css" type="text/css" media="screen" charset="iso-8859-1">\r
-<script language="JavaScript">\r
-<!--\r
-  function open_mini(URL,width,height){\r
-    aWindow = window.open(URL, "mini", "toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=yes,resizable=no,width="+width+",height="+height);\r
-  }\r
-//-->\r
-</script>\r
+       <meta http-equiv="content-type" content="text/html; charset=iso-8859-1">\r
+       <meta http-equiv="content-style-type" content="text/css">\r
+       <meta http-equiv="content-script-type" content="text/javascript">\r
+<?php if (! ( ($vars['cmd']==''||$vars['cmd']=='read') && $is_page) ) { ?>\r
+       <meta name="robots" content="noindex,nofollow" />\r
+<?php } ?>\r
+       <title><?php echo $page_title ?> - <?php echo $title ?></title>\r
+       <link rel="stylesheet" href="skin/default.en.css" type="text/css" media="screen" charset="iso-8859-1">\r
+       <script language=javascript src="skin/default.js"></script>\r
 </head>\r
-\r
 <body>\r
 <div>\r
-\r
-<table>\r
- <tr>\r
-  <td rowspan="2">\r
-   <a href="http://pukiwiki.org/"><img src="pukiwiki.png" width="120" height="64" border="0" alt="[PukiWiki]"></a><br>\r
-  </td>\r
-  <td width="10" rowspan="2">\r
-  </td>\r
-  <td valign="bottom">\r
-   <b style="font-size:30px"><?=$page?></b><br>\r
-  </td></tr>\r
-  <tr><td valign="top">\r
-   <? if($is_page) { ?>\r
-   <font size="1"><a href="<?=$script?>?<?=rawurlencode($vars["page"])?>"><?=$script?>?<?=rawurlencode($vars["page"])?></a></font><br>\r
-   <? } ?>\r
-  </td>\r
- </tr>\r
-</table>\r
-\r
-<br>\r
-\r
-<? if($is_page) { ?>\r
-[ <a href="<?=$script?>?<?=rawurlencode($vars[page])?>">Reload</a> ]\r
-&nbsp;\r
-[ <a href="<?=$script?>?plugin=newpage">New</a>\r
-| <a href="<?=$link_edit?>">Edit</a>\r
-| <a href="<?=$link_diff?>">Diff</a>\r
-| <a href="<?=$script?>?plugin=attach&pcmd=upload&page=<?=rawurlencode($vars[page])?>">Upload</a>\r
-]\r
-&nbsp;\r
-<? } ?>\r
-\r
- [ <a href="<?=$link_top?>">Front page</a>\r
- | <a href="<?=$link_list?>">List of pages</a>\r
-<? if(arg_check("list")) { ?>\r
- | <a href="<?=$link_filelist?>">List of page files</a>\r
-<? } ?>\r
- | <a href="<?=$link_search?>">Search</a>\r
- | <a href="<?=$link_whatsnew?>">Recent changes</a>\r
-<? if($do_backup) { ?>\r
- | <a href="<?=$link_backup?>">Backup</a>\r
-<? } ?>\r
- | <a href="<?="$script?".rawurlencode("[[¥Ø¥ë¥×]]")?>">Help</a>\r
- ]<br>\r
-\r
-<?=$hr?>\r
-\r
-<?=$body?>\r
-\r
-<?=$hr?>\r
-\r
-<?\r
-if(file_exists(PLUGIN_DIR."attach.inc.php") && $is_read)\r
-{\r
-       require_once(PLUGIN_DIR."attach.inc.php");\r
-       $attaches = attach_file_list();\r
-       if($attaches)\r
-       {\r
-               print $attaches;\r
-               print $hr;\r
-       }\r
-}\r
-?>\r
-\r
-<div align="right">\r
-\r
-<? if($is_page) { ?>\r
-<a href="<?=$script?>?<?=rawurlencode($vars[page])?>"><img src="./image/reload.gif" width="20" height="20" border="0" alt="¥ê¥í¡¼¥É"></a>\r
-\r
-&nbsp;\r
-\r
-<a href="<?=$script?>?plugin=newpage"><img src="./image/new.gif" width="20" height="20" border="0" alt="New"></a>\r
-<a href="<?=$link_edit?>"><img src="./image/edit.gif" width="20" height="20" border="0" alt="Edit"></a>\r
-<a href="<?=$link_diff?>"><img src="./image/diff.gif" width="20" height="20" border="0" alt="Diff"></a>\r
-&nbsp;\r
-\r
-<? } ?>\r
-\r
-<a href="<?=$link_top?>"><img src="./image/top.gif" width="20" height="20" border="0" alt="Front page"></a>\r
-<a href="<?=$link_list?>"><img src="./image/list.gif" width="20" height="20" border="0" alt="List of pages"></a>\r
-<a href="<?=$link_search?>"><img src="./image/search.gif" width="20" height="20" border="0" alt="search"></a>\r
-<a href="<?=$link_whatsnew?>"><img src="./image/recentchanges.gif" width="20" height="20" border="0" alt="Recent changes"></a>\r
-<? if($do_backup) { ?>\r
-<a href="<?=$link_backup?>"><img src="./image/backup.gif" width="20" height="20" border="0" alt="Backup"></a>\r
-<? } ?>\r
-&nbsp;\r
-<a href="<?="$script?".rawurlencode("[[¥Ø¥ë¥×]]")?>"><img src="./image/help.gif" width="20" height="20" border="0" alt="Help"></a>\r
-&nbsp;\r
-\r
-<a href="<?=$script?>?cmd=rss"><img src="./image/rss.gif" width="36" height="14" border="0" alt="RSS of recent changes"></a>\r
-\r
-</div>\r
-\r
-<? if($fmt) { ?>\r
- <small>Last-modified: <?=date("D, d M Y H:i:s T",$fmt)?></small> <?=get_pg_passage($vars["page"])?><br>\r
-<? } ?>\r
-<? if($related) { ?>\r
- <small>Link: <?=$related?></small><br>\r
-<? } ?>\r
-\r
-<br>\r
-\r
-<font face="Verdana" size="1">\r
-Modified by <a href="<?=$modifierlink?>"><?=$modifier?></a><br>\r
-<br>\r
-<?=S_COPYRIGHT?><br>\r
-Powered by PHP <?=PHP_VERSION?><br>\r
-<br>\r
-HTML convert time to <?=$taketime?> sec.\r
-</font>\r
+       <table border="0">\r
+               <tr>\r
+               <td rowspan="2">\r
+                       <a href="http://pukiwiki.org/"><img src="pukiwiki.png" width="80" height="80" border="0" alt="[PukiWiki]" /></a><br />\r
+               </td>\r
+               <td rowspan="2" style="width:20px">\r
+               </td>\r
+               <td valign="bottom">\r
+                       <strong style="font-size:30px"><?php echo $page ?></strong><br />\r
+               </td></tr>\r
+               <tr><td valign="top">\r
+                       <?php if($is_page) { ?>\r
+                       <a style="font-size:8px" href="<?php echo $script ?>?<?php echo rawurlencode($vars["page"]) ?>"><?php echo $script ?>?<?php echo rawurlencode($vars["page"]) ?></a><br />\r
+                       <?php } ?>\r
+               </td></tr>\r
+       </table>\r
+       <br />\r
+       <?php if($is_page) { ?>\r
+               [ <a href="<?php echo $script ?>?<?php echo rawurlencode($vars[page]) ?>">Reload</a> ]\r
+               &nbsp;\r
+               [ <a href="<?php echo $script ?>?plugin=newpage">New</a>\r
+               | <a href="<?php echo $link_edit ?>">Edit</a>\r
+               | <a href="<?php echo $link_diff ?>">Diff</a>\r
+               | <a href="<?php echo $script ?>?plugin=attach&amp;pcmd=upload&amp;page=<?php echo rawurlencode($vars[page]) ?>">Upload</a>\r
+               ]\r
+               &nbsp;\r
+       <?php } ?>\r
+       [ <a href="<?php echo $link_top ?>">Front page</a>\r
+       | <a href="<?php echo $link_list ?>">List of pages</a>\r
+       <?php if(arg_check("list")) { ?>\r
+               | <a href="<?php echo $link_filelist ?>">List of page files</a>\r
+       <?php } ?>\r
+       | <a href="<?php echo $link_search ?>">Search</a>\r
+       | <a href="<?php echo $link_whatsnew ?>">Recent changes</a>\r
+       <?php if($do_backup) { ?>\r
+               | <a href="<?php echo $link_backup ?>">Backup</a>\r
+       <?php } ?>\r
+       | <a href="<?php echo "$script?".rawurlencode("[[Help]]") ?>">Help</a>\r
+       ]<br />\r
+       <?php echo $hr ?>\r
+       <?php if($is_page){ ?>\r
+               <table cellspacing="1" cellpadding="0" border="0" width="100%">\r
+                       <tr>\r
+                       <td valign="top" style="width:120px;word-break:break-all;">\r
+                               <?php echo convert_html(@join("",@file(get_filename(encode("MenuBar"))))) ?>\r
+                       </td>\r
+                       <td style="width:10px">\r
+                       </td>\r
+                       <td valign="top">\r
+       <?php } ?>\r
+       <?php echo $body ?>\r
+       <?php if($is_page){ ?>\r
+                       </td>\r
+                       </tr>\r
+               </table>\r
+       <?php } ?>\r
+       <?php echo $hr ?>\r
+       <?php\r
+               if(file_exists(PLUGIN_DIR."attach.inc.php") && $is_read)\r
+               {\r
+                       require_once(PLUGIN_DIR."attach.inc.php");\r
+                       $attaches = attach_filelist();\r
+                       if($attaches)\r
+                       {\r
+                               print $attaches;\r
+                               print $hr;\r
+                       }\r
+               }\r
+       ?>\r
+       <div style="text-align:right">\r
+               <?php if($is_page) { ?>\r
+                       <a href="<?php echo $script;?>?<?php echo rawurlencode($vars[page]) ?>"><img src="./image/reload.gif" width="20" height="20" border="0" alt="Reload" /></a>\r
+                       &nbsp;\r
+                       <a href="<?php echo $script ?>?plugin=newpage"><img src="./image/new.gif" width="20" height="20" border="0" alt="New" /></a>\r
+                       <a href="<?php echo $link_edit ?>"><img src="./image/edit.gif" width="20" height="20" border="0" alt="Edit" /></a>\r
+                       <a href="<?php echo $link_diff ?>"><img src="./image/diff.gif" width="20" height="20" border="0" alt="Diff" /></a>\r
+                       &nbsp;\r
+               <?php } ?>\r
+               <a href="<?php echo $link_top ?>"><img src="./image/top.gif" width="20" height="20" border="0" alt="Front page" /></a>\r
+               <a href="<?php echo link_list ?>"><img src="./image/list.gif" width="20" height="20" border="0" alt="List of pages" /></a>\r
+               <a href="<?php echo $link_search ?>"><img src="./image/search.gif" width="20" height="20" border="0" alt="Search" /></a>\r
+               <a href="<?php echo $link_whatsnew ?>"><img src="./image/recentchanges.gif" width="20" height="20" border="0" alt="Recent changes" /></a>\r
+               <?php if($do_backup) { ?>\r
+                       <a href="<?php echo $link_backup ?>"><img src="./image/backup.gif" width="20" height="20" border="0" alt="Backup" /></a>\r
+               <?php } ?>\r
+               &nbsp;\r
+               <a href="<?php echo "$script?".rawurlencode("[[Help]]") ?>"><img src="./image/help.gif" width="20" height="20" border="0" alt="Help" /></a>\r
+               &nbsp;\r
+               <a href="<?php echo $script ?>?cmd=rss"><img src="./image/rss.gif" width="36" height="14" border="0" alt="RSS of recent changes" /></a>\r
+       </div>\r
+       <?php if($fmt) { ?>\r
+                <span class="small">Last-modified: <?php echo date("D, d M Y H:i:s T",$fmt) ?></span> <?php echo get_pg_passage($vars["page"]) ?><br />\r
+       <?php } ?>\r
+       <?php if($related) { ?>\r
+                <span class="small">Link: <?php echo $related ?></span><br />\r
+       <?php } ?>\r
+       <br />\r
+       <address>\r
+               Modified by <a href="<?php echo $modifierlink ?>"><?php echo $modifier ?></a><br /><br />\r
+               <?php echo S_COPYRIGHT ?><br />\r
+               Powered by PHP <?php echo PHP_VERSION ?><br /><br />\r
+               HTML convert time to <?php echo $taketime ?> sec.\r
+       </address>\r
 </div>\r
 </body>\r
 </html>\r