0) { // Try to change default 'MenuBar' page name (only) if ($num > 1) return '#menu(): Zero or One argument needed'; if ($menu !== NULL) return '#menu(): Already set: ' . htmlspecialchars($menu); $args = func_get_args(); if (! is_page($args[0])) { return '#menu(): No such page: ' . htmlspecialchars($args[0]); } else { $menu = $args[0]; // Set return ''; } } else { // Output menubar page data $page = ($menu === NULL) ? $menubar : $menu; if (MENU_ENABLE_SUBMENU) { $path = explode('/', strip_bracket($vars['page'])); while(! empty($path)) { $_page = join('/', $path) . '/' . MENU_SUBMENUBAR; if (is_page($_page)) { $page = $_page; break; } array_pop($path); } } if (! is_page($page)) { return ''; } else if ($vars['page'] == $page) { return ''; } else { // Cut fixed anchors $menutext = preg_replace('/^(\*{1,3}.*)\[#[A-Za-z][\w-]+\](.*)$/m', '$1$2', get_source($page)); return preg_replace('/]*)(d(([^i>][^d>]*)|(i[^s>][^d>]*)))*>/', '

', convert_html($menutext)); // K1 } } } ?>