[MediaWiki-announce] Maintenance release: 1.31.12