[MediaWiki-announce] MediaWiki bug fix release 1.25.1