Category:MediaWiki Extensions

Some MediaWiki extensions we wrote to improve our wiki which you also can use for your wiki!