Merge branch 'master' of https://gerrit.wikimedia.org/r/p/mediawiki/core