jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/332000 )

Change subject: MediaWiki theme: Use variable for disabled ProgressBar
......................................................................


MediaWiki theme: Use variable for disabled ProgressBar

Replacing non-guideline opacity value with Less variable for
disabled ProgressBar in alignment with disabled widgets elsewhere.

Change-Id: I6e47cb6eca01db95f53ad3ffaa0f7a4e6c555ffa
---
M src/themes/mediawiki/widgets.less
1 file changed, 8 insertions(+), 2 deletions(-)

Approvals:
  Bartosz Dziewoński: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/src/themes/mediawiki/widgets.less 
b/src/themes/mediawiki/widgets.less
index 80ad348..b1723bb 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -1629,7 +1629,6 @@
        overflow: hidden;
 
        &-bar {
-               background-color: @color-progressive;
                height: 1em;
                .oo-ui-transition( width 200ms );
        }
@@ -1641,8 +1640,15 @@
                        border-left-width: @border-width-default;
                }
        }
+       &.oo-ui-widget-enabled {
+               .oo-ui-progressBarWidget-bar {
+                       background-color: @color-progressive;
+               }
+       }
        &.oo-ui-widget-disabled {
-               opacity: 0.6;
+               .oo-ui-progressBarWidget-bar {
+                       background-color: @background-color-disabled-filled;
+               }
        }
 
        .oo-ui-progressBarWidget-slide-frames () {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I6e47cb6eca01db95f53ad3ffaa0f7a4e6c555ffa
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to