Merge branch 'mm/mediawiki-dumb-push-fix'