The wiki has now been upgraded to MediaWiki 1.31.1 with many new extensions and improvements. For a full list of changes, please see the Wiki Upgrade 2018 page.
In other news, the next GSM will occur on November 3. Topics must be submitted to staff@ by 7pm UTC on November 1.