Home
last modified time | relevance | path

Searched defs:php_user_filter (Results 1 – 2 of 2) sorted by relevance

/plugin/highlightjs/highlight/languages/
H A Dphp.js10 …'catch': 1, '__METHOD__': 1, 'class': 1, 'case': 1, 'exception': 1, 'php_user_filter': 1, 'default… property in hljs.LANGUAGES.php.defaultMode.keywords
/plugin/highlightjs/highlight/
H A Dhighlight.pack.js1 …</gm,"&lt;").replace(/>/gm,"&gt;")}function k(s,r){if(!s){return false}for(var c=0;c<s.length;c++)… property in hljs.HTML_TAGS