https://chris.superuser.com.au/mediawiki-extensions/