Prtksxna has uploaded a new change for review.
https://gerrit.wikimedia.org/r/189941
Change subject: MediaWiki Theme: Rename @highlight to @active
......................................................................
MediaWiki Theme: Rename @highlight to @active
This variable is used with the -active or -selected classes
Change-Id: I931159fb45e3e8ec6d9ef8e61d89867555014c21
---
M src/themes/mediawiki/common.less
M src/themes/mediawiki/elements.less
M src/themes/mediawiki/widgets.less
3 files changed, 5 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/41/189941/1
diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less
index 0b82798..39fea22 100644
--- a/src/themes/mediawiki/common.less
+++ b/src/themes/mediawiki/common.less
@@ -6,7 +6,7 @@
@progressive: #598ad1;
@constructive: #00c697;
@destructive: #e81915;
-@highlight: #999;
+@active: #999;
@progressive-selected: #015ccc;
@constructive-selected: #008c6d;
diff --git a/src/themes/mediawiki/elements.less
b/src/themes/mediawiki/elements.less
index 62a973a..c60b8fb 100644
--- a/src/themes/mediawiki/elements.less
+++ b/src/themes/mediawiki/elements.less
@@ -145,7 +145,7 @@
}
&.oo-ui-buttonElement-active >
.oo-ui-buttonElement-button {
- background-color: @highlight;
+ background-color: @active;
color: #fff;
}
@@ -226,7 +226,7 @@
}
&.oo-ui-buttonElement-active > .oo-ui-buttonElement-button {
- background-color: @highlight;
+ background-color: @active;
color: #fff;
}
}
@@ -259,7 +259,7 @@
}
&.oo-ui-buttonElement-active > .oo-ui-buttonElement-button {
- background-color: @highlight;
+ background-color: @active;
color: #fff;
}
}
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 2ca158e..7b8ed22 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -582,7 +582,7 @@
&.oo-ui-optionWidget {
&-selected {
- background-color: @highlight;
+ background-color: @active;
color: #fff;
.oo-ui-iconElement-icon {
--
To view, visit https://gerrit.wikimedia.org/r/189941
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I931159fb45e3e8ec6d9ef8e61d89867555014c21
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Prtksxna <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
