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

Fixed call per http://www.mediawiki.org/wiki/Special:Code/MediaWiki/82891#c14483

Browse source
This commit is contained in:
Jan Paul Posma 2011-02-27 15:30:35 +00:00
parent efb47a9d90
commit 1aac56bb83
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

@ -1019,7 +1019,7 @@ class Cite {
* page should be reparsed, so we return false in that case. * page should be reparsed, so we return false in that case.
*/ */
function checkAnyRefs( &$output ) { function checkAnyRefs( &$output ) {
return ( empty( $this->mRefs ) ); return ( count( $this->mRefs ) <= 0 );
} }
/** /**