jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/393950 )
Change subject: Remove unused CSS
......................................................................
Remove unused CSS
Nothing uses this class.
Change-Id: I7ff6d38009a250553ec8e4afa1690e54d05a35b5
---
M modules/ext.advancedSearch.css
1 file changed, 0 insertions(+), 15 deletions(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.advancedSearch.css b/modules/ext.advancedSearch.css
index 66e3a3f..47ecf75 100644
--- a/modules/ext.advancedSearch.css
+++ b/modules/ext.advancedSearch.css
@@ -105,21 +105,6 @@
right: 0.9375em;
}
-.mw-advancedSearch-optionTags {
- white-space: normal;
-}
-
-.mw-advancedSearch-optionTags > span {
- background: rgba( 255, 255, 255, 0.6 );
- border: 1px solid #a2a9b1;
- border-radius: 2px;
- display: inline-block;
- font-size: 15px;
- font-weight: normal;
- margin: 0.1em 0.2em;
- padding: 0.1em 0.5em;
-}
-
.mw-advancedSearch-filetype-presets .oo-ui-multioptionWidget {
display: inline-block;
margin-right: 1em; /* TODO margin-left for LTR? */
--
To view, visit https://gerrit.wikimedia.org/r/393950
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7ff6d38009a250553ec8e4afa1690e54d05a35b5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AdvancedSearch
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Andrew-WMDE <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
