Category:Extensions bundled with MediaWiki/de