diff options
Diffstat (limited to 'js/highlight/roboconf.js')
| -rw-r--r-- | js/highlight/roboconf.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/roboconf.js b/js/highlight/roboconf.js index 04569c9c2..dbd818b72 100644 --- a/js/highlight/roboconf.js +++ b/js/highlight/roboconf.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[143],{518:function(n,e){n.exports=function(n){var e={className:"attribute",begin:/[a-zA-Z-_]+/,end:/\s*:/,excludeEnd:!0,starts:{end:";",relevance:0,contains:[{className:"variable",begin:/\.[a-zA-Z-_]+/},{className:"keyword",begin:/\(optional\)/}]}};return{aliases:["graph","instances"],case_insensitive:!0,keywords:"import",contains:[{begin:"^facet [a-zA-Z-_][^\\n{]+\\{",end:"}",keywords:"facet",contains:[e,n.HASH_COMMENT_MODE]},{begin:"^\\s*instance of [a-zA-Z-_][^\\n{]+\\{",end:"}",keywords:"name count channels instance-data instance-state instance of",illegal:/\S/,contains:["self",e,n.HASH_COMMENT_MODE]},{begin:"^[a-zA-Z-_][^\\n{]+\\{",end:"}",contains:[e,n.HASH_COMMENT_MODE]},n.HASH_COMMENT_MODE]}}}}]); -//# sourceMappingURL=roboconf.js.map?v=87bcec8866f294508e35
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[143],{520:function(n,e){n.exports=function(n){var e={className:"attribute",begin:/[a-zA-Z-_]+/,end:/\s*:/,excludeEnd:!0,starts:{end:";",relevance:0,contains:[{className:"variable",begin:/\.[a-zA-Z-_]+/},{className:"keyword",begin:/\(optional\)/}]}};return{aliases:["graph","instances"],case_insensitive:!0,keywords:"import",contains:[{begin:"^facet [a-zA-Z-_][^\\n{]+\\{",end:"}",keywords:"facet",contains:[e,n.HASH_COMMENT_MODE]},{begin:"^\\s*instance of [a-zA-Z-_][^\\n{]+\\{",end:"}",keywords:"name count channels instance-data instance-state instance of",illegal:/\S/,contains:["self",e,n.HASH_COMMENT_MODE]},{begin:"^[a-zA-Z-_][^\\n{]+\\{",end:"}",contains:[e,n.HASH_COMMENT_MODE]},n.HASH_COMMENT_MODE]}}}}]); +//# sourceMappingURL=roboconf.js.map?v=238d0671d3759eae83b0
\ No newline at end of file |