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

follow-up to r71157

Browse source
This commit is contained in:
ThomasV 2010-08-23 08:19:42 +00:00
parent 76afccb3bc
commit b7e6f6d278
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Cite_body.php
View file

@ -643,7 +643,7 @@ class Cite {
$this->refKey( $key ),
$val
);
else if ( $val['follow'] )
else if ( isset( $val['follow'] ) )
return
wfMsgForContentNoTrans(
'cite_references_no_link',