Merge "RCFilters: Hide server-side 'empty results' message"
[lhc/web/wiklou.git] / resources / src / mediawiki.special / mediawiki.special.contributions.js
2017-05-30 jenkins-botMerge "RCFilters: Hide server-side 'empty results'...
2017-05-30 jenkins-botMerge "RCFilters: Blur input on 'escape' key"
2017-05-30 jenkins-botMerge "RCFilters: Unify 'highlight' and 'selected'...
2017-05-30 jenkins-botMerge "Show total number of autoblocks on top of Specia...
2017-05-30 jenkins-botMerge "Use PHP DateInputWidget in Contribs and use...
2017-05-29 Geoffrey MonUse PHP DateInputWidget in Contribs and use for range...