diff options
Diffstat (limited to 'js/highlight/ebnf.js')
| -rw-r--r-- | js/highlight/ebnf.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/highlight/ebnf.js b/js/highlight/ebnf.js new file mode 100644 index 000000000..95816c89e --- /dev/null +++ b/js/highlight/ebnf.js @@ -0,0 +1,2 @@ +(window.webpackJsonp=window.webpackJsonp||[]).push([[50],{135:function(n,a){n.exports=function(n){var a=n.COMMENT(/\(\*/,/\*\)/);return{illegal:/\S/,contains:[a,{className:"attribute",begin:/^[ ]*[a-zA-Z][a-zA-Z-]*([\s-]+[a-zA-Z][a-zA-Z]*)*/},{begin:/=/,end:/;/,contains:[a,{className:"meta",begin:/\?.*\?/},n.APOS_STRING_MODE,n.QUOTE_STRING_MODE]}]}}}}]); +//# sourceMappingURL=ebnf.js.map?v=7ed21dfeb9f6969d6183
\ No newline at end of file |