Выделите пользовательский язык на странице MediaWiki

Моя цель - добавить подсветку синтаксиса для настраиваемого языка на мою вики-страницу. Для этого я установил Pygments и добавил свой собственный файл лексера (mylexer.py). Поскольку я не хочу запрашивать лексер и ждать его слияния, как мне отредактировать create_pygmentize_script (ссылка ниже), чтобы он использовал локально установленные Pygments для создания пакета?

скрипт: https://github.com/wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi/blob/master/pygments/create_pygmentize_bundle

Место установки Pygments на локальном компьютере: /usr/local/lib/python3.8/dist-packages/pygments

Я застрял в этом на некоторое время. Любая помощь будет оценена по достоинству.

0 ответов

Другие вопросы по тегам