Category:MediaWiki extensions

This category collects all MediaWiki extensions not having a hard dependency on.