Category:Extensions bundled with MediaWiki 1.35

From mediawiki.org