Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/105626
Change subject: Add alias file for MapSources special page ...................................................................... Add alias file for MapSources special page Change-Id: Iabc527535080b57350f177e925414d462715eafd --- A MapSources.i18n.alias.php M MapSources.php 2 files changed, 16 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MapSources refs/changes/26/105626/1 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 6a7feba..4fc0ade 100644 --- a/MapSources.php +++ b/MapSources.php @@ -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/105626 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iabc527535080b57350f177e925414d462715eafd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MapSources Gerrit-Branch: master Gerrit-Owner: Aude <aude.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits