1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/*
Language: Ini
*/
this.lang = function(hljs){
hljs.LANGUAGES.ini =
{
case_insensitive: true,
defaultMode: {
contains: ['comment', 'title', 'setting'],
illegal: '[^\\s]'
},
modes: [
{
className: 'comment',
begin: ';', end: '$'
},
{
className: 'title',
begin: '\\[', end: '\\]'
},
{
className: 'setting',
begin: '^[a-z0-9_\\[\\]]+[ \\t]*=[ \\t]*', end: '$',
contains: ['value']
},
{
className: 'value',
begin: '^', endsWithParent: true,
contains: ['string', 'number'],
lexems: [hljs.IDENT_RE],
keywords: {'on': 1, 'off': 1, 'true': 1, 'false': 1, 'yes': 1, 'no': 1}
},
hljs.QUOTE_STRING_MODE,
hljs.BACKSLASH_ESCAPE,
{
className: 'number',
begin: '\\d+', end: '^'
}
]
};
};
|
