diff options
author | Julius Härtl <jus@bitgrid.net> | 2020-09-09 12:26:39 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-09 12:26:39 +0300 |
commit | 17d90a1e8720257514896ffe50433ad5f53eb379 (patch) | |
tree | 265fcb7d5d4ddb4519d1063358b8b43a7c839f3c /js/highlight/parser3.js | |
parent | 9b068d180ffcfc16f699468408285b871f087519 (diff) | |
parent | f6699d742f132f025e83cef36a9b2a141a2a6e26 (diff) |
Merge pull request #1032 from nextcloud/bugfix/noid/ie11
Diffstat (limited to 'js/highlight/parser3.js')
-rw-r--r-- | js/highlight/parser3.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/parser3.js b/js/highlight/parser3.js index 11836aa4e..8af2ffb8d 100644 --- a/js/highlight/parser3.js +++ b/js/highlight/parser3.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[122],{489:function(e,a){e.exports=function(e){var a=e.COMMENT("{","}",{contains:["self"]});return{subLanguage:"xml",relevance:0,contains:[e.COMMENT("^#","$"),e.COMMENT("\\^rem{","}",{relevance:10,contains:[a]}),{className:"meta",begin:"^@(?:BASE|USE|CLASS|OPTIONS)$",relevance:10},{className:"title",begin:"@[\\w\\-]+\\[[\\w^;\\-]*\\](?:\\[[\\w^;\\-]*\\])?(?:.*)$"},{className:"variable",begin:"\\$\\{?[\\w\\-\\.\\:]+\\}?"},{className:"keyword",begin:"\\^[\\w\\-\\.\\:]+"},{className:"number",begin:"\\^#[0-9a-fA-F]+"},e.C_NUMBER_MODE]}}}}]); -//# sourceMappingURL=parser3.js.map?v=339b50117d4d287cf385
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[122],{490:function(e,a){e.exports=function(e){var a=e.COMMENT("{","}",{contains:["self"]});return{subLanguage:"xml",relevance:0,contains:[e.COMMENT("^#","$"),e.COMMENT("\\^rem{","}",{relevance:10,contains:[a]}),{className:"meta",begin:"^@(?:BASE|USE|CLASS|OPTIONS)$",relevance:10},{className:"title",begin:"@[\\w\\-]+\\[[\\w^;\\-]*\\](?:\\[[\\w^;\\-]*\\])?(?:.*)$"},{className:"variable",begin:"\\$\\{?[\\w\\-\\.\\:]+\\}?"},{className:"keyword",begin:"\\^[\\w\\-\\.\\:]+"},{className:"number",begin:"\\^#[0-9a-fA-F]+"},e.C_NUMBER_MODE]}}}}]); +//# sourceMappingURL=parser3.js.map?v=75a1b29a3afe16b65342
\ No newline at end of file |