[MediaWiki-announce] MediaWiki Security and Maintenance Releases: 1.19.20, 1.22.12 and 1.23.5