Merge "Remove 'patrol' from $wgActionFilteredLogs"
[lhc/web/wiklou.git] / resources / src / mediawiki.api.js
2018-05-11 jenkins-botMerge "Remove 'patrol' from $wgActionFilteredLogs"
2018-05-10 jenkins-botMerge "mediawiki.skinning: Only apply tright/tleft...
2018-05-10 jenkins-botMerge "Set the package type to 'mediawiki-core'"
2018-05-10 jenkins-botMerge "Create update SPARQL for category changes"
2018-05-09 jenkins-botMerge "rdbms: rename onTransactionIdle() to onTransacti...
2018-05-09 jenkins-botMerge "Add default edit rate limit of 90 edits/minute...
2018-05-09 jenkins-botMerge "resourceloader: Remove elaborate dom-based conso...
2018-05-09 Timo Tijhofresources: Move more various single-file mediawiki...