plugin/menu.inc.php

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