jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: Add alias for Special:History
......................................................................
Hygiene: Add alias for Special:History
This is being added to core but the change from History to MobileHistory
seems to have been a little premature and is throwing warnings. This
supresses them.
(SpecialMobileHistory is still Special:History just a different implementation
of it)
Change-Id: If61beb984e8e2c82375a85a7d4d629e6a148f47e
---
M MobileFrontend.alias.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
JGonera: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.alias.php b/MobileFrontend.alias.php
index 57755e6..64435af 100644
--- a/MobileFrontend.alias.php
+++ b/MobileFrontend.alias.php
@@ -11,13 +11,13 @@
/** English (English) */
$specialPageAliases['en'] = array(
+ 'History' => array( 'History' ),
'MobileOptions' => array( 'MobileOptions' ),
'Uploads' => array( 'Uploads' ),
'MobileDiff' => array( 'MobileDiff' ),
'MobileMenu' => array( 'MobileMenu' ),
'Nearby' => array( 'Nearby' ),
'UserProfile' => array( 'UserProfile' ),
- 'MobileHistory' => array( 'MobileHistory' ),
);
/** Arabic (العربية) */
--
To view, visit https://gerrit.wikimedia.org/r/100513
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If61beb984e8e2c82375a85a7d4d629e6a148f47e
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: JGonera <jgon...@wikimedia.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
