jenkins-bot has submitted this change and it was merged.
Change subject: Switch mobile demo from deprecated Minerva to MediaWiki
......................................................................
Switch mobile demo from deprecated Minerva to MediaWiki
Change-Id: I77d57932785c74b5b7a5de4a2105bbaa177281b8
---
M build/modules.json
M demos/ve/mobile.html
2 files changed, 6 insertions(+), 6 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/build/modules.json b/build/modules.json
index 93b3d19..82fbba9 100644
--- a/build/modules.json
+++ b/build/modules.json
@@ -490,7 +490,7 @@
},
"visualEditor.mobile": {
"dependencies": [
- "oojs-ui-minerva",
+ "oojs-ui-mediawiki",
"visualEditor.core",
"visualEditor.mobile.build"
]
diff --git a/demos/ve/mobile.html b/demos/ve/mobile.html
index 1a27a8d..3857aae 100644
--- a/demos/ve/mobile.html
+++ b/demos/ve/mobile.html
@@ -16,9 +16,9 @@
<link rel=stylesheet
href="../../src/init/sa/styles/ve.init.sa.css">
<link rel=stylesheet
href="../../src/ui/styles/ve.ui.DebugBar.css">
- <!-- oojs-ui-minerva -->
- <link rel=stylesheet
href="../../lib/oojs-ui/oojs-ui-minerva.svg.css" class="stylesheet-ltr">
- <link rel=stylesheet
href="../../lib/oojs-ui/oojs-ui-minerva.svg.rtl.css" class="stylesheet-rtl"
disabled>
+ <!-- oojs-ui-mediawiki -->
+ <link rel=stylesheet
href="../../lib/oojs-ui/oojs-ui-mediawiki.svg.css" class="stylesheet-ltr">
+ <link rel=stylesheet
href="../../lib/oojs-ui/oojs-ui-mediawiki.svg.rtl.css" class="stylesheet-rtl"
disabled>
<!-- visualEditor.core.build -->
<link rel=stylesheet
href="../../src/ce/styles/nodes/ve.ce.FocusableNode.css">
@@ -119,8 +119,8 @@
<script src="../../src/init/sa/ve.init.sa.Platform.js"></script>
<script src="../../src/init/sa/ve.init.sa.Target.js"></script>
- <!-- oojs-ui-minerva -->
- <script src="../../lib/oojs-ui/oojs-ui-minerva.js"></script>
+ <!-- oojs-ui-mediawiki -->
+ <script src="../../lib/oojs-ui/oojs-ui-mediawiki.js"></script>
<!-- visualEditor.core.build -->
<script src="../../src/ve.Range.js"></script>
--
To view, visit https://gerrit.wikimedia.org/r/165757
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I77d57932785c74b5b7a5de4a2105bbaa177281b8
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[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
