Category:Extensions bundled with MediaWiki/de

Diese Erweiterungen sind in den MediaWiki-Downloads enthalten.