[Wikitech-l] MediaWiki 1.12.0rc1 released