Translations:Extension:UpdateMediaWiki/5/en

Once you installed the extension, you'll have to set up the user rights in $1.