[MediaWiki-announce] MediaWiki 1.19.0 released