jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372562 )
Change subject: Revert "Import the right files"
......................................................................
Revert "Import the right files"
This wasnn't the appropriate thing to do.
These skinStyles need to be moved to the Minerva skin.
I'll open a task.
This reverts commit 366f4f7f552dfcccb3c01fad3803c0e170153f2f.
Change-Id: I75c9bf25e6efb32bd680a61f3afcd5f175e33895
---
M skinStyles/mobile.editor.ve/minerva.less
M skinStyles/mobile.notifications.overlay/minerva.less
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/skinStyles/mobile.editor.ve/minerva.less
b/skinStyles/mobile.editor.ve/minerva.less
index c4f5ab4..5e10e88 100644
--- a/skinStyles/mobile.editor.ve/minerva.less
+++ b/skinStyles/mobile.editor.ve/minerva.less
@@ -1,5 +1,5 @@
@import 'mediawiki.mixins.less';
-@import 'mobile.variables';
+@import 'minerva.variables';
.editor-overlay-ve {
.content {
diff --git a/skinStyles/mobile.notifications.overlay/minerva.less
b/skinStyles/mobile.notifications.overlay/minerva.less
index 589177f..2f6903c 100644
--- a/skinStyles/mobile.notifications.overlay/minerva.less
+++ b/skinStyles/mobile.notifications.overlay/minerva.less
@@ -1,4 +1,4 @@
-@import 'mobile.variables';
+@import 'minerva.variables';
.notifications-overlay .overlay-content {
top: @headerHeight;
--
To view, visit https://gerrit.wikimedia.org/r/372562
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I75c9bf25e6efb32bd680a61f3afcd5f175e33895
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Pmiazga <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
