Umherirrender has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/336093 )
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: I9b9752f940608a2f568f58892c5a53cc713bc6ff --- A PubSubHubbub.alias.php M PubSubHubbub.php 2 files changed, 16 insertions(+), 0 deletions(-) Approvals: Umherirrender: Verified; Looks good to me, approved Reedy: Looks good to me, approved Nikerabbit: Looks good to me, but someone else must approve diff --git a/PubSubHubbub.alias.php b/PubSubHubbub.alias.php new file mode 100644 index 0000000..7304209 --- /dev/null +++ b/PubSubHubbub.alias.php @@ -0,0 +1,15 @@ +<?php +/** + * Aliases for special pages + * + * @file + * @ingroup Extensions + */ +// @codingStandardsIgnoreFile + +$specialPageAliases = array(); + +/** English (English) */ +$specialPageAliases['en'] = array( + 'PubSubHubbub-Export' => array( 'PubSubHubbub-Export' ), +); diff --git a/PubSubHubbub.php b/PubSubHubbub.php index 0d57a40..11921cf 100644 --- a/PubSubHubbub.php +++ b/PubSubHubbub.php @@ -47,6 +47,7 @@ $wgMessagesDirs['PubSubHubbub'] = __DIR__ . '/i18n'; $wgExtensionMessagesFiles['PubSubHubbub'] = $dir . 'PubSubHubbub.i18n.php'; +$wgExtensionMessagesFiles['PubSubHubbubAlias'] = $dir . 'PubSubHubbub.alias.php'; $wgAutoloadClasses['PubSubHubbub\\PubSubHubbub'] = $dir . 'PubSubHubbub.body.php'; $wgAutoloadClasses['PubSubHubbub\\SpecialPubSubHubbubExport'] = $dir . 'specials/SpecialPubSubHubbubExport.php'; -- To view, visit https://gerrit.wikimedia.org/r/336093 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9b9752f940608a2f568f58892c5a53cc713bc6ff Gerrit-PatchSet: 4 Gerrit-Project: mediawiki/extensions/PubSubHubbub Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: Umherirrender <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
