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

Followup r82744 Always grep extensions, even for recent additions to the codebase.

Browse source
This commit is contained in:
Mark A. Hershberger 2011-02-24 23:06:12 +00:00
parent ab606caf02
commit bdf20cb5de
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

@ -621,7 +621,7 @@ class Cite {
wfProfileOut( __METHOD__ . '-cache-get' );
}
if ( !$data || !$this->mParser->isValidHalfParsedData( $data ) ) {
if ( !$data || !$this->mParser->isValidHalfParsedText( $data ) ) {
wfProfileIn( __METHOD__ . '-parse' );
// Live hack: parse() adds two newlines on WM, can't reproduce it locally -ævar