Category:Extensions bundled with MediaWiki/es

These extensions are included in the MediaWiki downloads.