Pour prendre en charge highlight personnalisé et les options globales highlightjs configurables, il semble que des API de plugin supplémentaires soient nécessaires.
Cette PR est-elle la bienvenue ? J’ai déjà fait du travail dans mon dépôt fork
Cela me semble bien, veuillez envoyer une PR.