[MediaWiki-l] Fwd: [Wikitech-l] Fwd: [MediaWiki-announce] MediaWiki bug fix release 1.25.1