[MediaWiki-announce] MediaWiki 1.20.0 released