A collection of small MediaWiki extensions in use on our wiki
Primary LanguagePHP
No issues in this repository yet.