blob: 0e19ea99b612dabb695f90e26e977b8fb44d30d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
!(function (n) {
var e = /("|')(?:\\(?:\r\n?|\n|.)|(?!\1)[^\\\r\n])*\1/;
n.languages.json5 = n.languages.extend('json', {
property: [
{ pattern: RegExp(e.source + '(?=\\s*:)'), greedy: !0 },
{
pattern:
/(?!\s)[_$a-zA-Z\xA0-\uFFFF](?:(?!\s)[$\w\xA0-\uFFFF])*(?=\s*:)/,
alias: 'unquoted',
},
],
string: { pattern: e, greedy: !0 },
number:
/[+-]?\b(?:NaN|Infinity|0x[a-fA-F\d]+)\b|[+-]?(?:\b\d+(?:\.\d*)?|\B\.\d+)(?:[eE][+-]?\d+\b)?/,
});
})(Prism);
|