plugin/menu.inc.php

   1 <?php\r
   2 /////////////////////////////////////////////////\r
   3 // PukiWiki - Yet another WikiWikiWeb clone.\r
   4 //\r
   5 // $Id: menu.inc.php,v 1.1 2003/07/14 04:27:46 arino Exp $\r
   6 //\r
   7 \r
   8 // ¥µ¥Ö¥á¥Ë¥å¡¼¤ò»ÈÍÑ¤¹¤ë\r
   9 define('MENU_ENABLE_SUBMENU',FALSE);\r
  10 \r
  11 function plugin_menu_convert()\r
  12 {\r
  13         global $script,$vars,$menubar;\r
  14         static $menu = NULL;\r
  15         \r
  16         if (func_num_args())\r
  17         {\r
  18                 $args = func_get_args();\r
  19                 if (is_page($args[0]))\r
  20                 {\r
  21                         $menu = $args[0];\r
  22                 }\r
  23                 return '';\r
  24         }\r
  25         \r
  26         $page = ($menu === NULL) ? $menubar : $menu; \r
  27         if (MENU_ENABLE_SUBMENU)\r
  28         {\r
  29                 $path = explode('/',strip_bracket($vars['page']));\r
  30                 while(count($path))\r
  31                 {\r
  32                         $_page = join('/',$path).'/MenuBar';\r
  33                         if (is_page($_page))\r
  34                         {\r
  35                                 $page = $_page;\r
  36                                 break;\r
  37                         }\r
  38                         array_pop($path);\r
  39                 }\r
  40         }\r
  41         if (!is_page($page))\r
  42         {\r
  43                 return '';\r
  44         }\r
  45         return preg_replace('/<ul[^>]*>/','<ul>',convert_html(get_source($page)));\r
  46 }\r
  47 ?>\r