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

Add use for InvalidArgumentException

Browse source 
Change-Id: I67735aa40f45d75e6ed6bd0b205bb718f29ddfb8
This commit is contained in:
Umherirrender 2018-04-04 15:51:21 +02:00
parent 474457abaa
commit 0b86ae2cee
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/CategoryManager.php
View file

@ -20,6 +20,8 @@
namespace MediaWiki\Linter;
use InvalidArgumentException;
/**
* Functions for lint error categories
*/