[MediaWiki-announce] MediaWiki 1.31.0 now available!