It's further down: Expand MediaWiki -> MediaWiki Extensions -> Extensions used by Wikimedia -> Extensions used by Wikimedia - Main.