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 bug 15770, allow <ref name=whatever></ref> for compatability with #tag

Browse source
This commit is contained in:
Steve Sanbeg 2008-10-01 19:56:40 +00:00
parent 0df2c0436a
commit 2cd561ea0e
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Cite_body.php
View file

@ -134,7 +134,10 @@ class Cite {
# <ref ...></ref>. This construct is always invalid: either
# it's a contentful ref, or it's a named duplicate and should
# be <ref ... />.
return $this->error( 'cite_error_ref_no_input' );
if ( $key == false )
return $this->error( 'cite_error_ref_no_input' );
else
$str = null;
}
if( $key === false ) {