From 1b2b7c3eb939724696894f31ff27db97b0cac84c Mon Sep 17 00:00:00 2001 From: Andreas Widen Date: Sat, 25 Nov 2023 17:21:37 +0100 Subject: Initial commit. Signed-off-by: Andreas Widen --- static/base/highlight/languages/inform7.min.js | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 static/base/highlight/languages/inform7.min.js (limited to 'static/base/highlight/languages/inform7.min.js') 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 -- cgit v1.2.3-54-g00ecf