[MediaWiki-announce] MediaWiki 1.25 Now Available