jenkins-bot has submitted this change and it was merged.
Change subject: MediaWiki theme: Use a solid border for disabled SelectFile
drop target
......................................................................
MediaWiki theme: Use a solid border for disabled SelectFile drop target
Remove the dashed border from a disabled SelectFileWidget's drop target,
as it's indicating possible activity. This unifies the border style with
the widget when the feature is not supported.
Change-Id: Ie6519da0b5474b16b737fc0e793fdc90acc5aefb
---
M src/themes/mediawiki/widgets.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index dd90c54..c66c4dc 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -295,7 +295,7 @@
}
}
- &-empty.oo-ui-selectFileWidget-dropTarget {
+ &-empty.oo-ui-widget-enabled.oo-ui-selectFileWidget-dropTarget {
background-color: #eee;
border-style: dashed;
}
--
To view, visit https://gerrit.wikimedia.org/r/307459
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie6519da0b5474b16b737fc0e793fdc90acc5aefb
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
