From 53970ad677024c99c3361aca03286aee8a291e9e Mon Sep 17 00:00:00 2001
From: umorigu <umorigu@gmail.com>
Date: Thu, 17 Aug 2017 23:52:20 +0900
Subject: [PATCH] BugTrack/2126 Stop removing attrs of ul elements in Menu

---
 plugin/menu.inc.php | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/plugin/menu.inc.php b/plugin/menu.inc.php
index da9344c..d7b0e98 100644
--- 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);
 		}
 	}
 }
-?>
-- 
2.11.0