plugin/menu.inc.php

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