[MediaWiki-announce] MediaWiki maintenance release 1.19.15