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

Change subject: Replace wrong `border-color-base--disabled` value
......................................................................


Replace wrong `border-color-base--disabled` value

Replacing wrongly defined `border-color-base--disabled` value
to widget design definition `wmui-color-base70`.

Bug: T172402
Change-Id: I7ff1ace1a951eb5ead2d4f2a0e3bcda570ab2319
---
M wikimedia-ui-base.css
M wikimedia-ui-base.less
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Bartosz Dziewoński: Looks good to me, approved
  Prtksxna: Looks good to me, but someone else must approve
  jenkins-bot: Verified
  Jforrester: Looks good to me, but someone else must approve



diff --git a/wikimedia-ui-base.css b/wikimedia-ui-base.css
index 3734a1e..dfd92de 100644
--- a/wikimedia-ui-base.css
+++ b/wikimedia-ui-base.css
@@ -103,7 +103,7 @@
        --border-color-base:            var( --wmui-color-base50 );
        --border-color-base--hover:     var( --wmui-color-base50 );
        --border-color-base--active:    var( --wmui-color-base30 );
-       --border-color-base--disabled:  var( --color-base--disabled );
+       --border-color-base--disabled:  var( --wmui-color-base70 );
        --border-color-filled-disabled: var( --color-filled--disabled );
        --border-color-primary--active: #859dcc;
        --border-color-destructive--active: #b77c79;
diff --git a/wikimedia-ui-base.less b/wikimedia-ui-base.less
index d450dbc..a96c6fa 100644
--- a/wikimedia-ui-base.less
+++ b/wikimedia-ui-base.less
@@ -102,7 +102,7 @@
 @border-color-base:           @wmui-color-base50;
 @border-color-base--hover:    @wmui-color-base50;
 @border-color-base--active:   @wmui-color-base30;
-@border-color-base--disabled: @color-base--disabled;
+@border-color-base--disabled: @wmui-color-base70;
 @border-color-filled--disabled: @color-filled--disabled;
 @border-color-primary--active: #859dcc;
 @border-color-destructive--active: #b77c79;

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I7ff1ace1a951eb5ead2d4f2a0e3bcda570ab2319
Gerrit-PatchSet: 1
Gerrit-Project: wikimedia-ui-base
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Jdrewniak <jdrewn...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Prtksxna <psax...@wikimedia.org>
Gerrit-Reviewer: VolkerE <volke...@wikimedia.org>
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