[MediaWiki-announce] MediaWiki maintenance release 1.17.4