Tech:Updating an extension

This is a guide for updating any extension that we already have installed. While sysadmins can directly update extensions, users can make pull requests to update extensions by forking our mediawiki repository.

Generally, updating an extension manually is not necessary as Dependabot will automatically create pull requests to update extensions each week. However, if you are certain that you need to update an extension and that it should not be delayed for whatever reason (e.g. 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:

git clone https://github.com/miraheze/mediawiki.git
 * On your PC

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

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
 * On mwtask141 and/or test131 (only if puppet fails):

deploy-mediawiki --world --config --l10n --servers=all
 * Always: