BugTrack/2436 ESLint - Linting utility for JavaScript

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

diff --git a/plugin/menu.inc.php b/plugin/menu.inc.php
index e2d18d2..d7b0e98 100644 (file)
--- a/plugin/menu.inc.php
+++ b/plugin/menu.inc.php
@@ -1,14 +1,15 @@
 <?php
-/////////////////////////////////////////////////
 // PukiWiki - Yet another WikiWikiWeb clone.
+// menu.inc.php
+// Copyright 2003-2017 PukiWiki Development Team
+// License: GPL v2 or (at your option) any later version
 //
-// $Id: menu.inc.php,v 1.10 2011/01/25 15:01:01 henoheno Exp $
-//
+// Menu plugin
 
-// ¥µ¥Ö¥á¥Ë¥å¡¼¤ò»ÈÍѤ¹¤ë
+// Use Submenu if true
 define('MENU_ENABLE_SUBMENU', FALSE);
 
-// ¥µ¥Ö¥á¥Ë¥å¡¼¤Î̾¾Î
+// Name of Submenu
 define('MENU_SUBMENUBAR', 'MenuBar');
 
 function plugin_menu_convert()
@@ -52,9 +53,7 @@ function plugin_menu_convert()
                } else {
                        // Cut fixed anchors
                        $menutext = preg_replace('/^(\*{1,3}.*)\[#[A-Za-z][\w-]+\](.*)$/m', '$1$2', get_source($page));
-
-                       return preg_replace('/<ul[^>]*>/', '<ul>', convert_html($menutext));  
+                       return convert_html($menutext);
                }
        }
 }
-?>