[1.13.0]

Update MediaWiki to 1.35.0