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
| module.exports = function(hljs) {
| return {
| contains: [
| // IP
| {
| className: 'number',
| begin: '\\b\\d{1,3}\\.\\d{1,3}\\.\\d{1,3}\\.\\d{1,3}(:\\d{1,5})?\\b'
| },
| // Other numbers
| {
| className: 'number',
| begin: '\\b\\d+\\b',
| relevance: 0
| },
| // Requests
| {
| className: 'string',
| begin: '"(GET|POST|HEAD|PUT|DELETE|CONNECT|OPTIONS|PATCH|TRACE)', end: '"',
| keywords: 'GET POST HEAD PUT DELETE CONNECT OPTIONS PATCH TRACE',
| illegal: '\\n',
| relevance: 10
| },
| // Dates
| {
| className: 'string',
| begin: /\[/, end: /\]/,
| illegal: '\\n'
| },
| // Strings
| {
| className: 'string',
| begin: '"', end: '"',
| illegal: '\\n'
| }
| ]
| };
| };
|
|
