Remove `online_editor.highlightjs_language` property #158

Closed ErikSchierboom closed 1 year ago