blob: 3323d52a124823d07e6122952d5c7faa32df0a07 (
plain)
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
|
!(function (t) {
function a(t) {
return RegExp('(^(?:' + t + '):[ \t]*(?![ \t]))[^]+', 'i');
}
t.languages.http = {
'request-line': {
pattern:
/^(?:CONNECT|DELETE|GET|HEAD|OPTIONS|PATCH|POST|PRI|PUT|SEARCH|TRACE)\s(?:https?:\/\/|\/)\S*\sHTTP\/[\d.]+/m,
inside: {
method: { pattern: /^[A-Z]+\b/, alias: 'property' },
'request-target': {
pattern: /^(\s)(?:https?:\/\/|\/)\S*(?=\s)/,
lookbehind: !0,
alias: 'url',
inside:
|