Merge "EditPage: Remove unused variable in getCheckboxesOOUI()"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / ui / mw.rcfilters.ui.WatchlistTopSectionWidget.js
2017-09-03 jenkins-botMerge "EditPage: Remove unused variable in getCheckboxe...
2017-09-01 jenkins-botMerge "mediawiki.special.changeslist.legend.js: Remove...
2017-09-01 jenkins-botMerge "Remove reference to deprecated IDatabase->nextSe...
2017-09-01 jenkins-botMerge "EditPage: Restore getSummaryInput(); deprecate...
2017-09-01 jenkins-botMerge "WLFilters: fix msg keys to comply with standard"
2017-09-01 Stephane BissonWLFilters: fix msg keys to comply with standard
2017-09-01 jenkins-botMerge "Revert "Fix link prefix/suffixes around Category...
2017-08-31 jenkins-botMerge "Move section ID fallbacks into headers themselves"
2017-08-31 jenkins-botMerge "WLFilters: fix server-side tag filtering"
2017-08-30 jenkins-botMerge "Only do one query for page ids in PageProps...
2017-08-30 jenkins-botMerge "Fix highlight display for enhanced mode"
2017-08-30 jenkins-botMerge "WLFilters: convert 'edit watchlist' button to...
2017-08-30 Stephane BissonWLFilters: convert 'edit watchlist' button to new UX