-MenuBarページ名をpukiwiki.ini.phpで指定

[pukiwiki/pukiwiki.git] / plugin / menu.inc.php

diff --git a/plugin/menu.inc.php b/plugin/menu.inc.php
new file mode 100644 (file)
index 0000000..83d8fd5
--- /dev/null
+++ b/plugin/menu.inc.php
@@ -0,0 +1,47 @@
+<?php\r
+/////////////////////////////////////////////////\r
+// PukiWiki - Yet another WikiWikiWeb clone.\r
+//\r
+// $Id: menu.inc.php,v 1.1 2003/07/14 04:27:46 arino Exp $\r
+//\r
+\r
+// ¥µ¥Ö¥á¥Ë¥å¡¼¤ò»ÈÍѤ¹¤ë\r
+define('MENU_ENABLE_SUBMENU',FALSE);\r
+\r
+function plugin_menu_convert()\r
+{\r
+       global $script,$vars,$menubar;\r
+       static $menu = NULL;\r
+       \r
+       if (func_num_args())\r
+       {\r
+               $args = func_get_args();\r
+               if (is_page($args[0]))\r
+               {\r
+                       $menu = $args[0];\r
+               }\r
+               return '';\r
+       }\r
+       \r
+       $page = ($menu === NULL) ? $menubar : $menu; \r
+       if (MENU_ENABLE_SUBMENU)\r
+       {\r
+               $path = explode('/',strip_bracket($vars['page']));\r
+               while(count($path))\r
+               {\r
+                       $_page = join('/',$path).'/MenuBar';\r
+                       if (is_page($_page))\r
+                       {\r
+                               $page = $_page;\r
+                               break;\r
+                       }\r
+                       array_pop($path);\r
+               }\r
+       }\r
+       if (!is_page($page))\r
+       {\r
+               return '';\r
+       }\r
+       return preg_replace('/<ul[^>]*>/','<ul>',convert_html(get_source($page)));\r
+}\r
+?>\r