jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333463 )
Change subject: Fix typo to prevent PHP alias-notices from being thrown ...................................................................... Fix typo to prevent PHP alias-notices from being thrown Bug: T112434 Change-Id: Icfe2ed5c849e45732d35dfbab6d37d46d91ad864 --- M SpecialNamespaces.alias.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Umherirrender: Looks good to me, approved jenkins-bot: Verified diff --git a/SpecialNamespaces.alias.php b/SpecialNamespaces.alias.php index 0994241..b0a70bf 100644 --- a/SpecialNamespaces.alias.php +++ b/SpecialNamespaces.alias.php @@ -5,10 +5,10 @@ * @addtogroup Extensions */ -$aliases = array(); +$specialPageAliases = array(); /** English */ -$aliases['en'] = array( +$specialPageAliases['en'] = array( 'Namespaces' => array( 'Namespaces' ), ); -- To view, visit https://gerrit.wikimedia.org/r/333463 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icfe2ed5c849e45732d35dfbab6d37d46d91ad864 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SpecialNamespaces Gerrit-Branch: master Gerrit-Owner: SamanthaNguyen <samanthanguyen1...@gmail.com> Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits