[Mediawiki-l] MediaWiki 1.12.0 released