Home
last modified time | relevance | path

Searched refs:case_insensitive (Results 1 – 19 of 19) sorted by relevance

/plugin/highlightjs/highlight/languages/
Dhtml-xml.js28 case_insensitive: true, property
88 case_insensitive: true, property
Ddos.js7 case_insensitive: true, property
Dvbscript.js17 case_insensitive: true, property
Dapache.js12 case_insensitive: true, property
Dini.js7 case_insensitive: true, property
Davrasm.js8 case_insensitive: true, property
Dparser3.js12 case_insensitive: false, property
Dsql.js7 case_insensitive: true, property
Ddiff.js8 case_insensitive: true, property
Dphp.js12 case_insensitive: true, property
Ddjango.js10 case_insensitive: true, property
Dbash.js17 case_insensitive: false,
Dlisp.js11 case_insensitive: true,
Dcss.js13 case_insensitive: true, property
D1c.js18 case_insensitive: true,
Ddelphi.js15 case_insensitive: true,
/plugin/highlightjs/highlight/
Dhighlight.js115 var match_str = language.case_insensitive ? match[0].toLowerCase() : match[0]
423 var mode = 'm' + (language.case_insensitive ? 'i' : '') + (global ? 'g' : '');
/plugin/revealjs/plugin/highlight/
Dhighlight.js2 …E=/\blang(?:uage)?-([\w-]+)\b/i,t=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,r={case_insensitive:"cI",lexemes:… property
/plugin/elasticsearch/vendor/ruflin/elastica/
DCHANGELOG.md145 * Added new optional 'case_insensitive' option to `Elastica\Query\Wildcard` [#1894](https://github.…