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

Switch to using a PSR-4 autoloader

Browse source 
Change-Id: Iea8f1348f7911e0e094a40db2e9dbe294e8dbe7f
This commit is contained in:
Kunal Mehta 2017-12-11 17:20:02 -08:00
parent 7a7ff2b87e
commit 33dcc7211e
1 changed files with 2 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
extension.json
View file

@ -9,18 +9,8 @@
],
"descriptionmsg": "linter-desc",
"type": "specialpage",
"AutoloadClasses": {
"MediaWiki\\Linter\\CategoryManager": "includes/CategoryManager.php",
"MediaWiki\\Linter\\Hooks": "includes/Hooks.php",
"MediaWiki\\Linter\\Database": "includes/Database.php",
"MediaWiki\\Linter\\LintError": "includes/LintError.php",
"MediaWiki\\Linter\\ApiRecordLint": "includes/ApiRecordLint.php",
"MediaWiki\\Linter\\ApiQueryLintErrors": "includes/ApiQueryLintErrors.php",
"MediaWiki\\Linter\\ApiQueryLinterStats": "includes/ApiQueryLinterStats.php",
"MediaWiki\\Linter\\RecordLintJob": "includes/RecordLintJob.php",
"MediaWiki\\Linter\\SpecialLintErrors": "includes/SpecialLintErrors.php",
"MediaWiki\\Linter\\LintErrorsPager": "includes/LintErrorsPager.php",
"MediaWiki\\Linter\\TotalsLookup": "includes/TotalsLookup.php"
"AutoloadNamespaces": {
"MediaWiki\\Linter\\": "includes/"
},
"MessagesDirs": {
"Linter": "i18n"