Extension:Extensions/Merged and Bundled

There are ' extensions merged into MediaWiki's core and ' extensions bundled with the latest official download.