Commit: e78eeec4638981b42863fd315fee3965a0b45fbe - pukiwiki (git)

Commit MetaInfo

• Revision: e78eeec4638981b42863fd315fee3965a0b45fbe (tree)
• Time: 2007-07-23 23:26:06
• Author: henoheno <henoheno>
• Commiter: henoheno

Log Message

BugTrack2/262: Convert MenuBar before deciding $pkwk_dtd (patched by Ilfa)

Change Summary

• modified: skin/pukiwiki.skin.php

Incremental Difference

--- a/skin/pukiwiki.skin.php
+++ b/skin/pukiwiki.skin.php
@@ -1,6 +1,6 @@
 <?php
 // PukiWiki - Yet another WikiWikiWeb clone.
-// $Id: pukiwiki.skin.php,v 1.54 2007/06/24 14:01:21 henoheno Exp $
+// $Id: pukiwiki.skin.php,v 1.55 2007/07/23 14:26:06 henoheno Exp $
 // Copyright (C)
 //   2002-2007 PukiWiki Developers Team
 //   2001-2002 Originally written by yu-ji
@@ -50,6 +50,9 @@ switch(UI_LANG){
 	case 'ja': $css_charset = 'Shift_JIS'; break;
 }
 
+// MenuBar
+$menu = arg_check('read') && exist_plugin_convert('menu') ? do_plugin_convert('menu') : FALSE;
+
 // ------------------------------------------------------------
 // Output
 
@@ -156,11 +159,11 @@ function _navigator($key, $value = '', $javascript = ''){
 
 <?php echo $hr ?>
 
-<?php if (arg_check('read') && exist_plugin_convert('menu')) { ?>
+<?php if ($menu) { ?>
 <table border="0" style="width:100%">
  <tr>
   <td class="menubar">
-   <div id="menubar"><?php echo do_plugin_convert('menu') ?></div>
+   <div id="menubar"><?php echo $menu ?></div>
   </td>
   <td valign="top">
    <div id="body"><?php echo $body ?></div>