[Wikitech-l] MediaWiki 1.20.0 released