• R/O
  • HTTP
  • SSH
  • HTTPS

Commit

Tags
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

Commit MetaInfo

Revisão9ba451f50698b5d3b23cfcb301c7637cb9127036 (tree)
Hora2017-08-17 23:57:34
Autorumorigu <umorigu@gmai...>
Commiterumorigu

Mensagem de Log

BugTrack/2126 Stop removing ul elements attrs in Menu

Mudança Sumário

Diff

--- a/plugin/menu.inc.php
+++ b/plugin/menu.inc.php
@@ -1,14 +1,15 @@
11 <?php
2-/////////////////////////////////////////////////
32 // PukiWiki - Yet another WikiWikiWeb clone.
3+// menu.inc.php
4+// Copyright 2003-2017 PukiWiki Development Team
5+// License: GPL v2 or (at your option) any later version
46 //
5-// $Id: menu.inc.php,v 1.10 2011/01/25 15:01:01 henoheno Exp $
6-//
7+// Menu plugin
78
8-// サブメニューを使用する
9+// Use Submenu if true
910 define('MENU_ENABLE_SUBMENU', FALSE);
1011
11-// サブメニューの名称
12+// Name of Submenu
1213 define('MENU_SUBMENUBAR', 'MenuBar');
1314
1415 function plugin_menu_convert()
@@ -52,9 +53,7 @@ function plugin_menu_convert()
5253 } else {
5354 // Cut fixed anchors
5455 $menutext = preg_replace('/^(\*{1,3}.*)\[#[A-Za-z][\w-]+\](.*)$/m', '$1$2', get_source($page));
55-
56- return preg_replace('/<ul[^>]*>/', '<ul>', convert_html($menutext));
56+ return convert_html($menutext);
5757 }
5858 }
5959 }
60-?>