Category:Extensions bundled with MediaWiki

These extensions are included in the MediaWiki downloads.