Привет! Я использую редактор микрокода CodeFlask , я настроил его, но не знаю, как добавить другой язык, не являющийся JS.
В документации объясняется использование flask.addLanguage ('ruby', опция), но не объясняется, что означает options .Это также указывает на документацию PrismJS , но они также не говорят, что означают опции.