diff options
Diffstat (limited to 'js/highlight/profile.js')
| -rw-r--r-- | js/highlight/profile.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/profile.js b/js/highlight/profile.js index a990f8aa3..124d5b3c5 100644 --- a/js/highlight/profile.js +++ b/js/highlight/profile.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[135],{588:function(e,n,t){"use strict";e.exports=function(e){return{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}]}}}}]); -//# sourceMappingURL=profile.js.map?v=a5120d7934fdf7d1e734
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[135],{574:function(e,n,t){"use strict";e.exports=function(e){return{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}]}}}}]); +//# sourceMappingURL=profile.js.map?v=2f5efaf76941f8dccd39
\ No newline at end of file |