Tech:Updating an extension

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 https://github.com/miraheze/mediawiki.git 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

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