Category:Extensions bundled with MediaWiki/en

These extensions are included in the MediaWiki downloads.