Add alias file

So people can localize the special page name

Change-Id: Icd331d02f400dfca465236bb95c1357c58480260

Linter.alias.php

@@ -0,0 +1,27 @@
+<?php
+/**
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ * http://www.gnu.org/copyleft/gpl.html
+ *
+ * @file
+ */
+// @codingStandardsIgnoreFile
+
+$specialPageAliases = [];
+
+/** English (English) */
+$specialPageAliases['en'] = [
+	'LintErrors' => [ 'LintErrors' ],
+];

extension.json

@@ -21,6 +21,9 @@
 	"MessagesDirs": {
 		"Linter": "i18n"
 	},
+	"ExtensionMessagesFiles": {
+		"LinterAlias": "Linter.alias.php"
+	},
 	"Hooks": {
 		"LoadExtensionSchemaUpdates": "MediaWiki\\Linter\\Hooks::onLoadExtensionSchemaUpdates",
 		"EditFormInitialText": "MediaWiki\\Linter\\Hooks::onEditFormInitialText",