Download MediaWiki extension
You are downloading the CodeEditor extension.
Select your MediaWiki version.
Most extensions work across multiple versions of MediaWiki, so if your MediaWiki version is not here, or if you have a need for the latest extension features, try using the current version.