From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 12 Jul 2017 18:45:34 +0000 (+0000)
Subject: Merge "FilterTagMultiselectWidget: Use frameless buttons and fix height issues"
X-Git-Tag: 1.31.0-rc.0~2729
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/categories/modifier.php?a=commitdiff_plain;h=97c5bc0a1ea20ed4f6c3e26b97dcd5d6f360a8ce;p=lhc%2Fweb%2Fwiklou.git

Merge "FilterTagMultiselectWidget: Use frameless buttons and fix height issues"
---

97c5bc0a1ea20ed4f6c3e26b97dcd5d6f360a8ce
diff --cc resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js
index 4bee31e701,7b49147108..dcada85d7d
--- a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js
+++ b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js
@@@ -147,14 -145,16 +147,16 @@@
  				classes: [ 'mw-rcfilters-ui-filterTagMultiselectWidget-views-select-widget' ],
  				items: [
  					new OO.ui.ButtonOptionWidget( {
+ 						framed: false,
  						data: 'namespaces',
  						icon: 'article',
 -						title: mw.msg( 'namespaces' )
 +						title: mw.msg( 'rcfilters-view-namespaces-tooltip' )
  					} ),
  					new OO.ui.ButtonOptionWidget( {
+ 						framed: false,
  						data: 'tags',
  						icon: 'tag',
 -						title: mw.msg( 'rcfilters-view-tags' )
 +						title: mw.msg( 'rcfilters-view-tags-tooltip' )
  					} )
  				]
  			} );