[MediaWiki-l] Maintenance release: 1.31.12