Translations:Extension:SyntaxHighlight/71/en

Despite its update to Pygments (and away from GeSHi) and despite its updated name, this extension internally still uses the former file names as stated below.