Category:Extensions bundled with MediaWiki 1.18/de

From mediawiki.org