mediawiki.ui: Update mw-ui-input padding/line-height to match OOUI
[lhc/web/wiklou.git] / includes / ActorMigration.php
2018-03-08 jenkins-botMerge "Job::insert: Hard deprecate (soft-deprecated...
2018-03-07 jenkins-botMerge "Add support for 'hu-formal'"
2018-03-06 jenkins-botMerge "Use RemexHtml as the tidy implementation for...
2018-03-06 jenkins-botMerge "Change Recent Changes "Number of edits..." prefe...
2018-03-05 jenkins-botMerge "Revert "Log the reason why revision->getContent...
2018-03-02 jenkins-botMerge "Expose the latest modified index seen by EtcdConfig"
2018-03-01 jenkins-botMerge "Only add header when description not already...
2018-02-28 jenkins-botMerge "Fix table loading bug for CRH transliteration"
2018-02-28 NikerabbitMerge "Update namespaces for Sindhi"
2018-02-28 jenkins-botMerge "Do not run ipblocks cleanup randomly, just do...
2018-02-28 jenkins-botMerge "RCFilters: Actually apply the $autoCloseIgnore...
2018-02-27 jenkins-botMerge "Create a custom log formatter that allows log...
2018-02-26 jenkins-botMerge "updateCollation.php: Improve --dry-run mode"
2018-02-23 jenkins-botMerge "wgGroupPermissions: Don't grant editmyusercss...
2018-02-23 jenkins-botMerge "Add `actor` table and code to start using it"
2018-02-23 Brad JorschAdd `actor` table and code to start using it