Home
last modified time | relevance | path

Searched defs:case_insensitive (Results 1 – 13 of 13) sorted by relevance

/plugin/highlightjs/highlight/languages/
H A Ddjango.js10 case_insensitive: true, property in hljs.LANGUAGES.django
H A Ddiff.js8 case_insensitive: true, property in hljs.LANGUAGES.diff
H A Dini.js7 case_insensitive: true, property in hljs.LANGUAGES.ini
H A Dparser3.js12 case_insensitive: false, property in hljs.LANGUAGES.parser3
H A Dcss.js13 case_insensitive: true, property in hljs.LANGUAGES.css
H A Ddos.js7 case_insensitive: true, property in hljs.LANGUAGES.dos
H A Dhtml-xml.js28 case_insensitive: true, property in hljs.LANGUAGES.xml
88 case_insensitive: true, property in hljs.LANGUAGES.html
H A Dphp.js12 case_insensitive: true, property in hljs.LANGUAGES.php
H A Dvbscript.js17 case_insensitive: true, property in hljs.LANGUAGES.vbscript
H A Dsql.js7 case_insensitive: true, property in hljs.LANGUAGES.sql
H A Davrasm.js8 case_insensitive: true, property in hljs.LANGUAGES.avrasm
H A Dapache.js12 case_insensitive: true, property in hljs.LANGUAGES.apache
/plugin/revealjs/plugin/highlight/
H A Dhighlight.js2 …E=/\blang(?:uage)?-([\w-]+)\b/i,t=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,r={case_insensitive:"cI",lexemes:… property in AnonymousFunction892c8c100200.r