2017-02-18 23:17:07 +03:00
|
|
|
filetype: html
|
|
|
|
|
2017-03-21 22:07:39 +03:00
|
|
|
detect:
|
2017-02-18 23:17:07 +03:00
|
|
|
filename: "\\.htm[l]?$"
|
|
|
|
|
|
|
|
rules:
|
2017-03-21 22:07:39 +03:00
|
|
|
- identifier: "<.*?>"
|
2017-02-18 23:17:07 +03:00
|
|
|
- special: "&[^;[[:space:]]]*;"
|
2017-03-21 22:07:39 +03:00
|
|
|
- statement: "(alt|bgcolor|height|href|label|longdesc|name|onclick|onfocus|onload|onmouseover|size|span|src|style|target|type|value|width)="
|
|
|
|
|
|
|
|
- constant.string:
|
|
|
|
start: "\""
|
|
|
|
end: "\""
|
2017-03-21 21:55:22 +03:00
|
|
|
rules: []
|
2017-02-21 00:09:16 +03:00
|
|
|
|
2017-03-21 22:07:39 +03:00
|
|
|
- default:
|
|
|
|
start: "<script.*?>"
|
|
|
|
end: "</script.*?>"
|
|
|
|
rules:
|
|
|
|
- include: "javascript"
|
|
|
|
|
|
|
|
- default:
|
|
|
|
start: "<style.*?>"
|
|
|
|
end: "</style.*?>"
|
|
|
|
rules:
|
|
|
|
- include: "css"
|