wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-09-24 10:50:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix for last commit

Browse source 
My last commit didn't catch anything but plain <ref>: <ref name="foo"> would be allowed.  Fixed using a regex from the patch on bug 12757 by Max Semenik.
This commit is contained in:
Aryeh Gregor 2008-09-18 17:21:13 +00:00
parent 1c902f410c
commit 2cd995f73c
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Cite_body.php
View file

@ -155,10 +155,10 @@ class Cite {
return $this->error( 'cite_error_ref_numeric_key' );
}
if( strpos(
preg_replace( '#<([^ ]+?).*?>.*?</\\1 *>|<!--.*?-->#', '', $str ),
'<ref>'
) !== false ) {
if( preg_match(
'/<ref\b[^<]*?>/',
preg_replace( '#<([^ ]+?).*?>.*?</\\1 *>|<!--.*?-->#', '', $str )
) ) {
# (bug 6199) This most likely implies that someone left off the
# closing </ref> tag, which will cause the entire article to be
# eaten up until the next <ref>. So we bail out early instead.