Translations:Extension:SyntaxHighlight/88/en

If your host does not allow you to add executables to your web directory, install python-pygments and add $setting to LocalSettings.php.