wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Gadget-definitions: Make comment matching non-greedy

Browse source 
Change-Id: I1b92e4d84d11ff7493a2ec684815d19f0937caa7
This commit is contained in:
Liangent 2013-05-23 05:21:19 +00:00 committed by Krinkle
parent e2dcb8f62d
commit 867ccb19b4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets_body.php
View file

@ -595,7 +595,7 @@ class Gadget {
$g = $forceNewText;
}
$g = preg_replace( '/<!--.*-->/s', '', $g );
$g = preg_replace( '/<!--.*?-->/s', '', $g );
$g = preg_split( '/(\r\n|\r|\n)+/', $g );
$gadgets = array();