diff options
Diffstat (limited to 'static/base/highlight/languages/inform7.min.js')
| -rw-r--r-- | static/base/highlight/languages/inform7.min.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/static/base/highlight/languages/inform7.min.js b/static/base/highlight/languages/inform7.min.js new file mode 100644 index 0000000..57f7726 --- /dev/null +++ b/static/base/highlight/languages/inform7.min.js @@ -0,0 +1,11 @@ +/*! `inform7` grammar compiled for Highlight.js 11.3.1 */ +(()=>{var e=(()=>{"use strict";return e=>({name:"Inform 7",aliases:["i7"], +case_insensitive:!0,keywords:{ +keyword:"thing room person man woman animal container supporter backdrop door scenery open closed locked inside gender is are say understand kind of rule" +},contains:[{className:"string",begin:'"',end:'"',relevance:0,contains:[{ +className:"subst",begin:"\\[",end:"\\]"}]},{className:"section", +begin:/^(Volume|Book|Part|Chapter|Section|Table)\b/,end:"$"},{ +begin:/^(Check|Carry out|Report|Instead of|To|Rule|When|Before|After)\b/, +end:":",contains:[{begin:"\\(This",end:"\\)"}]},{className:"comment", +begin:"\\[",end:"\\]",contains:["self"]}]})})() +;hljs.registerLanguage("inform7",e)})();
\ No newline at end of file |