Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/336099 )
Change subject: Add file for special page aliases ...................................................................... Add file for special page aliases Allows translations and avoids: Notice: Did not find alias for special page '<SomeSpecialPageName>'. Perhaps no aliases are defined for it? Change-Id: I470d1d2a12e1c81ed0161c2b62125581b99cc5fc --- A WebPlatformAuth.alias.php M WebPlatformAuth.php 2 files changed, 16 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WebPlatformAuth refs/changes/99/336099/1 diff --git a/WebPlatformAuth.alias.php b/WebPlatformAuth.alias.php new file mode 100644 index 0000000..3c8164d --- /dev/null +++ b/WebPlatformAuth.alias.php @@ -0,0 +1,15 @@ +<?php +/** + * Aliases for special pages + * + * @file + * @ingroup Extensions + */ +// @codingStandardsIgnoreFile + +$specialPageAliases = array(); + +/** English (English) */ +$specialPageAliases['en'] = array( + 'AccountsHandler' => array( 'AccountsHandler' ), +); diff --git a/WebPlatformAuth.php b/WebPlatformAuth.php index fd49e35..b6d030f 100644 --- a/WebPlatformAuth.php +++ b/WebPlatformAuth.php @@ -47,6 +47,7 @@ $wgMessagesDirs['WebPlatformAuth'] = __DIR__ . '/i18n'; $wgExtensionMessagesFiles['WebPlatformAuth'] = $dir . 'WebPlatformAuth.i18n.php'; +$wgExtensionMessagesFiles['WebPlatformAuthAlias'] = $dir . 'WebPlatformAuth.alias.php'; // Change AccountsHandler for better name later #TODO $wgSpecialPages['AccountsHandler'] = 'AccountsHandlerSpecialPage'; -- To view, visit https://gerrit.wikimedia.org/r/336099 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I470d1d2a12e1c81ed0161c2b62125581b99cc5fc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WebPlatformAuth Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
