Category:Extensions bundled with MediaWiki/de

These extensions are included in the MediaWiki downloads.