mirror of
https://github.com/discourse/discourse.git
synced 2025-01-22 22:43:00 +08:00
f3dee5863f
The 10+ version has actually a bug with bash. We will wait a little bit before upgrading to 10, we should also make sure any of the breaking changes listed here https://github.com/highlightjs/highlight.js/blob/master/VERSION_10_BREAKING_CHANGES.md are not impacting us.
1 line
252 B
JavaScript
1 line
252 B
JavaScript
hljs.registerLanguage("ebnf",function(a){var e=a.C(/\(\*/,/\*\)/);return{i:/\S/,c:[e,{cN:"attribute",b:/^[ ]*[a-zA-Z][a-zA-Z-_]*([\s-_]+[a-zA-Z][a-zA-Z]*)*/},{b:/=/,e:/[.;]/,c:[e,{cN:"meta",b:/\?.*\?/},{cN:"string",v:[a.ASM,a.QSM,{b:"`",e:"`"}]}]}]}}); |