Translations:Extension:SyntaxHighlight/19/en

The message key $msg determines the category name; on this wiki it is $category.