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.

To update an extension:

---
 * On your PC
 * On the server