jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333464 )
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: I9eaa35fb3284ead7e357310444b73233134f2d87 --- M Challenge.alias.php M extension.json 2 files changed, 5 insertions(+), 5 deletions(-) Approvals: Umherirrender: Looks good to me, approved jenkins-bot: Verified diff --git a/Challenge.alias.php b/Challenge.alias.php index a93424a..25dfe72 100644 --- a/Challenge.alias.php +++ b/Challenge.alias.php @@ -6,10 +6,10 @@ * @ingroup Extensions */ -$aliases = array(); +$specialPageAliases = array(); /** English */ -$aliases['en'] = array( +$specialPageAliases['en'] = array( 'ChallengeAction' => array( 'ChallengeAction' ), 'ChallengeHistory' => array( 'ChallengeHistory' ), 'ChallengeStandings' => array( 'ChallengeStandings' ), @@ -18,10 +18,10 @@ ); /** Finnish (Suomi) */ -$aliases['fi'] = array( +$specialPageAliases['fi'] = array( 'ChallengeAction' => array( 'Haastetoiminto' ), 'ChallengeHistory' => array( 'Haastehistoria' ), 'ChallengeStandings' => array( 'Haastetilastot' ), 'ChallengeUser' => array( 'Haasta_käyttäjä' ), 'ChallengeView' => array( 'Tarkastele_haastetta' ), -); \ No newline at end of file +); diff --git a/extension.json b/extension.json index 10a850e..57863b8 100644 --- a/extension.json +++ b/extension.json @@ -1,6 +1,6 @@ { "name": "Challenge", - "version": "1.1", + "version": "1.2", "author": [ "Aaron Wright", "David Pean", -- To view, visit https://gerrit.wikimedia.org/r/333464 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9eaa35fb3284ead7e357310444b73233134f2d87 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Challenge 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