Category:Extensions bundled with MediaWiki 1.40/de-formal