These are the MediaWiki extensions we're using and developing. Please refer to the information on the
mediawiki.org wiki for installation and usage details. Extensions here which have no corresponding mediawiki article are either not ready for use or have been superseded.
