Tech:Updating an extension

    From Miraheze Meta, Miraheze's central coordination wiki

    This is a guide for updating any extension that Miraheze has already installed. While sysadmins can directly update extensions, users can make pull requests to update extensions by forking Miraheze's MediaWiki repository.

    Generally, updating an extension manually is not necessary, as Dependabot automatically creates pull requests to update extensions each week. However, if you are certain you need to update an extension, and that it should not be delayed for whatever reason (e.g., an important bug fix that affects one or more wikis, or a security update), you should follow the instructions below instead of waiting for Dependabot.

    To update an extension:

    On your PC:

    git clone
    git submodule init [extension path]
    git submodule update [extension path]
    cd [extension path]
    git pull origin [branch]
    cd ..
    git add .
    git commit -m "Updating [extension]"
    git push

    On mwtask141 and/or test131 (only if puppet fails):

    cd /srv/mediawiki-staging/w/extensions && sudo -u www-data git reset --hard origin/REL1_38 && sudo -u www-data git pull && sudo -u www-data git submodule update && sudo puppet agent -tv 


    deploy-mediawiki --world --config --l10n --servers=all

    See also[edit | edit source]