Category:Extensions bundled with MediaWiki 1.25/de