Merge "Fix 'Tags' padding to keep it farther from the edge and document the source...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Jun 2018 16:45:22 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Jun 2018 16:45:22 +0000 (16:45 +0000)
commit138298b397b308ad6e4bfc7088884d90e8ac1e37
treeef9b23124e72fac919f56926f5657c062598aabf
parenta17f3a1267bc122b20e491f0602341296bd36219
parent2ab15ab41f9efa0a043751915737f0007a2ec63d
Merge "Fix 'Tags' padding to keep it farther from the edge and document the source of the new right padding value"
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less