jenkins-bot has submitted this change and it was merged.
Change subject: Fix duplicate messages key in 'mediawiki.special.preferences'
definition
......................................................................
Fix duplicate messages key in 'mediawiki.special.preferences' definition
Follows up: Idb00f50a
Change-Id: I852e5965de8e0bee7e976637df95daded691e11c
---
M resources/Resources.php
1 file changed, 2 insertions(+), 4 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index ff59a44..70f64dd 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1292,13 +1292,11 @@
'position' => 'top',
'messages' => array(
'prefs-tabs-navigation-hint',
+ 'prefswarning-warning',
+ 'saveprefs',
),
'dependencies' => array(
'mediawiki.language',
- ),
- 'messages' => array(
- 'prefswarning-warning',
- 'saveprefs',
),
),
'mediawiki.special.recentchanges' => array(
--
To view, visit https://gerrit.wikimedia.org/r/161919
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I852e5965de8e0bee7e976637df95daded691e11c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_24
Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
