| commit | 1949b15d1a762464186c7ce658a6a9d3c33cab06 | |
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
| Thu, 2 Mar 2017 06:46:07 +0000 (2 06:46 +0000) | ||
| committer | Gerrit Code Review <gerrit@wikimedia.org> | |
| Thu, 2 Mar 2017 06:46:07 +0000 (2 06:46 +0000) | ||
| tree | 0bf0f7e4ea33d5f555b5b6062af12c9f608533c6 | treesnapshot (tar.gz zip) |
| parent | 4b0062f099782793f8ea9a58f0448f819be2bcb8 | commitdiff |
| parent | a4eb6dc014708aa7fb17be58937490e58a41ee00 | commitdiff |
Merge "RCFilters UI: Correct filter name font-size"
| resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less | diff1 | diff2 | blobhistory |