jenkins-bot has submitted this change and it was merged. Change subject: Add alias file for MapSources special page ......................................................................
Add alias file for MapSources special page fixes php notice for special page Change-Id: I559ce1d1ea28aaf1ffe22d153accd7bc60f37a9e --- A MapSources.i18n.alias.php M MapSources.php 2 files changed, 17 insertions(+), 1 deletion(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/MapSources.i18n.alias.php b/MapSources.i18n.alias.php new file mode 100644 index 0000000..486b1fa --- /dev/null +++ b/MapSources.i18n.alias.php @@ -0,0 +1,15 @@ +<?php +/** + * Aliases for special pages of the MapSources extension + * + * @file + * @ingroup Extensions + */ +// @codingStandardsIgnoreFile + +$specialPageAliases = array(); + +/** English (English) */ +$specialPageAliases['en'] = array( + 'MapSources' => array( 'MapSources' ), +); diff --git a/MapSources.php b/MapSources.php index acc047a..4fc0ade 100644 --- a/MapSources.php +++ b/MapSources.php @@ -22,7 +22,7 @@ $wgAutoloadClasses['MapSourcesTransform'] = __DIR__ . '/MapSources_transform.php'; // special page -$wgSpecialPages['Mapsources'] = 'MapSourcesPage'; +$wgSpecialPages['MapSources'] = 'MapSourcesPage'; // parser hooks $wgHooks['ParserFirstCallInit'][] = 'MapSourcesHooks::parserHooks'; @@ -30,6 +30,7 @@ // extension & magic words i18n $wgExtensionMessagesFiles['MapSources'] = __DIR__ . '/MapSources.i18n.php'; $wgExtensionMessagesFiles['MapSourcesMagic'] = __DIR__ . '/MapSources.i18n.magic.php'; +$wgExtensionMessagesFiles['MapSourcesAlias'] = $dir . '/MapSources.i18n.alias.php'; // credits $wgExtensionCredits['specialpage'][] = array( -- To view, visit https://gerrit.wikimedia.org/r/105625 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I559ce1d1ea28aaf1ffe22d153accd7bc60f37a9e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/MapSources Gerrit-Branch: master Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
