[MediaWiki-announce] MediaWiki 1.31 is End of Life