1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
!(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,