jenkins-bot has submitted this change and it was merged.
Change subject: OOUI: Switch Minerva skin from deprecated 'Minerva' theme to
'MediaWiki'
......................................................................
OOUI: Switch Minerva skin from deprecated 'Minerva' theme to 'MediaWiki'
Change-Id: I9600e11521256b143bfd8f3ee01cc1cf907a4c45
---
M resources/Resources.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
Objections:
Jforrester: There's a problem with this change, please improve
diff --git a/resources/Resources.php b/resources/Resources.php
index 53759a6..7c2e8b3 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1573,11 +1573,11 @@
),
'skinScripts' => array(
'default' => 'resources/lib/oojs-ui/oojs-ui-apex.js',
- 'minerva' => 'resources/lib/oojs-ui/oojs-ui-minerva.js',
+ 'minerva' =>
'resources/lib/oojs-ui/oojs-ui-mediawiki.js',
),
'skinStyles' => array(
'default' =>
'resources/lib/oojs-ui/oojs-ui-apex.svg.css',
- 'minerva' =>
'resources/lib/oojs-ui/oojs-ui-minerva.svg.css',
+ 'minerva' =>
'resources/lib/oojs-ui/oojs-ui-mediawiki.svg.css',
),
'messages' => array(
'ooui-outline-control-move-down',
--
To view, visit https://gerrit.wikimedia.org/r/164745
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9600e11521256b143bfd8f3ee01cc1cf907a4c45
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
