[MediaWiki-announce] MediaWiki security release 1.19.1