Custom mediawiki extensions

This is a repository to track PVVs custom mediawiki modules. They are currently not in use, but might be reinstated at a later date, or just used as a reference.