jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: Remove dead css
......................................................................
Hygiene: Remove dead css
Change-Id: Id358a58d0dd94b46e47a04e4102149b532695d39
---
D less/modules/mf-random.less
D stylesheets/modules/mf-random.css
2 files changed, 0 insertions(+), 21 deletions(-)
Approvals:
JGonera: Looks good to me, approved
jenkins-bot: Verified
diff --git a/less/modules/mf-random.less b/less/modules/mf-random.less
deleted file mode 100644
index 6816fcb..0000000
--- a/less/modules/mf-random.less
+++ /dev/null
@@ -1,8 +0,0 @@
-@import "../mf-mixins.less";
-
-.mw-mf-confirm-random {
- margin-left: 30px;
- margin-bottom: 10px;
- border-left: solid 5px @blueBase;
- padding-left: 5px;
-}
diff --git a/stylesheets/modules/mf-random.css
b/stylesheets/modules/mf-random.css
deleted file mode 100644
index db9a7b2..0000000
--- a/stylesheets/modules/mf-random.css
+++ /dev/null
@@ -1,13 +0,0 @@
-/**
- * DO NOT EDIT THIS FILE
- * This is an automatically generated css file.
- * It was generated by LESS (http://lesscss.org).
- * Please edit the corresponding less file instead.
- * See README.mediawiki for details on installing.
- */
-.mw-mf-confirm-random {
- margin-left: 30px;
- margin-bottom: 10px;
- border-left: solid 5px #3366bb;
- padding-left: 5px;
-}
--
To view, visit https://gerrit.wikimedia.org/r/74811
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id358a58d0dd94b46e47a04e4102149b532695d39
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: JGonera <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
