https://wp.jochen.hayek.name/blog-en/2018/10/24/mediawiki-manualupgrading-mediawiki-1-30-0-mediawiki-1-31-1/