diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
| commit | d9022f63880ce039446fba8364f68e656b7bf4cb (patch) | |
| tree | 16b40fbf17bf7c9ee6f4ead25b16dd192378050a /includes/search/SearchUpdate.php | |
| parent | 27cf83d177256813e2e802241085fce5dd0f3fb9 (diff) | |
Update to MediaWiki 1.19.0
Diffstat (limited to 'includes/search/SearchUpdate.php')
| -rw-r--r-- | includes/search/SearchUpdate.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/search/SearchUpdate.php b/includes/search/SearchUpdate.php index f79092cb..a162d2b3 100644 --- a/includes/search/SearchUpdate.php +++ b/includes/search/SearchUpdate.php @@ -13,7 +13,7 @@ * * @ingroup Search */ -class SearchUpdate { +class SearchUpdate implements DeferrableUpdate { private $mId = 0, $mNamespace, $mTitle, $mText; private $mTitleWords; @@ -37,7 +37,7 @@ class SearchUpdate { global $wgContLang, $wgDisableSearchUpdate; if( $wgDisableSearchUpdate || !$this->mId ) { - return false; + return; } wfProfileIn( __METHOD__ ); |