Jdlrobson has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/206007

Change subject: Hygiene: Kill dead css on diff page
......................................................................

Hygiene: Kill dead css on diff page

Change-Id: I5e01a57fb19bb3b1274ef8e042b04784bc8492cd
---
M less/specials/mobilediff.less
1 file changed, 0 insertions(+), 30 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/07/206007/1

diff --git a/less/specials/mobilediff.less b/less/specials/mobilediff.less
index e3b3fe0..ffd6857 100644
--- a/less/specials/mobilediff.less
+++ b/less/specials/mobilediff.less
@@ -104,33 +104,3 @@
                margin-top: 8px;
        }
 }
-
-#mw-mf-diffview {
-       // Action buttons, e.g. Thank, Undo, etc.
-       // FIXME: Migrate to mw-ui-button
-       .mw-mf-action-button {
-               float: right;
-               border: 1px #25A260 solid;
-               background-color: #27AA65;
-               .vertical-gradient( #2EC977, #27AA65 );
-               &:hover {
-                       background-color: #2EC977;
-                       .vertical-gradient( #3ED384, #2EC977 );
-               }
-               &:active {
-                       background-color: #249E5E;
-                       .vertical-gradient( #31B570, #249E5E );
-               }
-               &:disabled {
-                       color: white;
-                       border: 1px #80D1A7 solid;
-                       background-color: #80D1A7;
-                       .vertical-gradient( #90DEB5, #80D1A7 );
-               }
-       }
-       .mw-mf-action-button-icon {
-               display: inline-block;
-               vertical-align: middle;
-               margin: 0 0.6em 0 -0.5em;
-       }
-}

-- 
To view, visit https://gerrit.wikimedia.org/r/206007
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I5e01a57fb19bb3b1274ef8e042b04784bc8492cd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to