wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 17:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

CategoryManager: Fix type annotations

Browse source 
...and provide better ones for phan.

Change-Id: Ic615f8765ebf2941b4fe72020ecacece06998ec6
This commit is contained in:
Kunal Mehta 2019-12-16 21:56:43 -08:00 committed by Umherirrender
parent ce6d640140
commit 562a3881a9
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/CategoryManager.php
View file

@ -49,12 +49,14 @@ class CategoryManager {
]; ];
/** /**
* @var string[] * @var bool[]
* @phan-var array<string,bool>
*/ */
private $parserMigrationCategories = []; private $parserMigrationCategories = [];
/** /**
* @var string[] * @var bool[]
* @phan-var array<string,bool>
*/ */
private $hasNameParam = []; private $hasNameParam = [];