MediaWiki 1.40

Important changes

 * The RenameUser extension has been merged into MediaWiki core. If you have it installed, you should uninstall it.