diff options
Diffstat (limited to 'pyssg.xyz/live/static/hl/languages/profile.min.js')
| -rw-r--r-- | pyssg.xyz/live/static/hl/languages/profile.min.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pyssg.xyz/live/static/hl/languages/profile.min.js b/pyssg.xyz/live/static/hl/languages/profile.min.js new file mode 100644 index 0000000..c40796e --- /dev/null +++ b/pyssg.xyz/live/static/hl/languages/profile.min.js @@ -0,0 +1,8 @@ +hljs.registerLanguage("profile",(()=>{"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}]})})());
\ No newline at end of file |