[MediaWiki-announce] 1.23.17 bugfix release