diff options
Diffstat (limited to 'static/base/highlight/languages/profile.min.js')
| -rw-r--r-- | static/base/highlight/languages/profile.min.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/static/base/highlight/languages/profile.min.js b/static/base/highlight/languages/profile.min.js new file mode 100644 index 0000000..8063b88 --- /dev/null +++ b/static/base/highlight/languages/profile.min.js @@ -0,0 +1,9 @@ +/*! `profile` grammar compiled for Highlight.js 11.3.1 */ +(()=>{var e=(()=>{"use strict";return e=>({name:"Python profiler", +contains:[e.C_NUMBER_MODE,{begin:"[a-zA-Z_][\\da-zA-Z_]+\\.[\\da-zA-Z_]{1,3}", +end:":",excludeEnd:!0},{begin:"(ncalls|tottime|cumtime)",end:"$", +keywords:"ncalls tottime|10 cumtime|10 filename",relevance:10},{ +begin:"function calls",end:"$",contains:[e.C_NUMBER_MODE],relevance:10 +},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{className:"string",begin:"\\(", +end:"\\)$",excludeBegin:!0,excludeEnd:!0,relevance:0}]})})() +;hljs.registerLanguage("profile",e)})();
\ No newline at end of file |