Searched defs:case_insensitive (Results 1 – 13 of 13) sorted by relevance
| /plugin/highlightjs/highlight/languages/ |
| H A D | django.js | 10 case_insensitive: true, property in hljs.LANGUAGES.django
|
| H A D | diff.js | 8 case_insensitive: true, property in hljs.LANGUAGES.diff
|
| H A D | ini.js | 7 case_insensitive: true, property in hljs.LANGUAGES.ini
|
| H A D | parser3.js | 12 case_insensitive: false, property in hljs.LANGUAGES.parser3
|
| H A D | css.js | 13 case_insensitive: true, property in hljs.LANGUAGES.css
|
| H A D | dos.js | 7 case_insensitive: true, property in hljs.LANGUAGES.dos
|
| H A D | html-xml.js | 28 case_insensitive: true, property in hljs.LANGUAGES.xml
88 case_insensitive: true, property in hljs.LANGUAGES.html
|
| H A D | php.js | 12 case_insensitive: true, property in hljs.LANGUAGES.php
|
| H A D | vbscript.js | 17 case_insensitive: true, property in hljs.LANGUAGES.vbscript
|
| H A D | sql.js | 7 case_insensitive: true, property in hljs.LANGUAGES.sql
|
| H A D | avrasm.js | 8 case_insensitive: true, property in hljs.LANGUAGES.avrasm
|
| H A D | apache.js | 12 case_insensitive: true, property in hljs.LANGUAGES.apache
|
| /plugin/revealjs/plugin/highlight/ |
| H A D | highlight.js | 2 …E=/\blang(?:uage)?-([\w-]+)\b/i,t=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,r={case_insensitive:"cI",lexemes:… property in AnonymousFunction892c8c100200.r
|