Extension:UpdateMediaWiki

The extension UpdateMediaWiki allows administrators and authorized users upgrade from a special page MediaWiki.