diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/search/SearchEngine.php | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/search/SearchEngine.php')
-rw-r--r-- | includes/search/SearchEngine.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/search/SearchEngine.php b/includes/search/SearchEngine.php index 5770276a..e5ed23f5 100644 --- a/includes/search/SearchEngine.php +++ b/includes/search/SearchEngine.php @@ -33,7 +33,7 @@ class SearchEngine { /** @var string */ public $prefix = ''; - /** @var int[] */ + /** @var int[]|null */ public $namespaces = array( NS_MAIN ); /** @var int */ @@ -293,7 +293,7 @@ class SearchEngine { * Set which namespaces the search should include. * Give an array of namespace index numbers. * - * @param array $namespaces + * @param int[]|null $namespaces */ function setNamespaces( $namespaces ) { $this->namespaces = $namespaces; |