[MediaWiki-announce] MediaWiki 1.14.0 and 1.13.5 released