MediaWiki 1.40/wmf.12