(stream, state)
| 224 | } |
| 225 | |
| 226 | function include(stream, state) { |
| 227 | if (stream.match(/^include\b/)) { |
| 228 | state.restOfLine = 'string'; |
| 229 | return KEYWORD; |
| 230 | } |
| 231 | } |
| 232 | |
| 233 | function includeFiltered(stream, state) { |
| 234 | if (stream.match(/^include:([a-zA-Z0-9\-]+)/, false) && stream.match('include')) { |