1.31.7 MediaWiki security update

Originally posted on mastodon.technology.

The latest #MediaWiki security update has hit #Debian - https://lists.debian.org/debian-security-announce/2020/msg00053.html

Only buster users need to update as stretch did not contain the vulnerable code (yay?).