Merge branch 'Wikidata' of ssh://review/mediawiki/core into Wikidata