[MediaWiki-commits] [Gerrit] operations/puppet[production]: Revert "gerrit: workaround a CSS bug with Microsoft Edge"

2016-10-11 Thread Dzahn (Code Review) 
Dzahn has submitted this change and it was merged.

Change subject: Revert "gerrit: workaround a CSS bug with Microsoft Edge"
..


Revert "gerrit: workaround a CSS bug with Microsoft Edge"

This is not needed any more, this was fixed in windows 10 build 14942, and 
never impacted the anniversary update.

This reverts commit 2bbe80c0ed9ded5338039bd246c45c218e2b2ffb.

Change-Id: I693a5cac698a29810136354721689b35b57000db
---
M modules/gerrit/files/etc/GerritSite.css
1 file changed, 0 insertions(+), 12 deletions(-)

Approvals:
  Dzahn: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/gerrit/files/etc/GerritSite.css 
b/modules/gerrit/files/etc/GerritSite.css
index 0347bd6..9f8de49 100644
--- a/modules/gerrit/files/etc/GerritSite.css
+++ b/modules/gerrit/files/etc/GerritSite.css
@@ -51,18 +51,6 @@
color: #222 !important;
 }
 
-/*
- * Workaround Microsoft Edge bug in gerrit
- *
- * https://bugs.chromium.org/p/gerrit/issues/detail?id=4526
- *
- * https://phabricator.wikimedia.org/T145130
- *
- */
-.downloadBoxScheme {
-   display: block !important;
-}
-
 /**
  * Header
  */

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I693a5cac698a29810136354721689b35b57000db
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Paladox 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Dzahn 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

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

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Revert "gerrit: workaround a CSS bug with Microsoft Edge"

2016-10-08 Thread Paladox (Code Review) 
Paladox has uploaded a new change for review.

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

Change subject: Revert "gerrit: workaround a CSS bug with Microsoft Edge"
..

Revert "gerrit: workaround a CSS bug with Microsoft Edge"

This is not needed any more, this was fixed in windows 10 build 14942, and 
never impacted the anniversary update.

This reverts commit 2bbe80c0ed9ded5338039bd246c45c218e2b2ffb.

Change-Id: I693a5cac698a29810136354721689b35b57000db
---
M modules/gerrit/files/etc/GerritSite.css
1 file changed, 0 insertions(+), 12 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/35/314835/1

diff --git a/modules/gerrit/files/etc/GerritSite.css 
b/modules/gerrit/files/etc/GerritSite.css
index 11ec1c0..d518e99 100644
--- a/modules/gerrit/files/etc/GerritSite.css
+++ b/modules/gerrit/files/etc/GerritSite.css
@@ -40,18 +40,6 @@
color: #222 !important;
 }
 
-/*
- * Workaround Microsoft Edge bug in gerrit
- *
- * https://bugs.chromium.org/p/gerrit/issues/detail?id=4526
- *
- * https://phabricator.wikimedia.org/T145130
- *
- */
-.downloadBoxScheme {
-   display: block !important;
-}
-
 /**
  * Header
  */

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I693a5cac698a29810136354721689b35b57000db
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Paladox 

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