jgm/highlighting-kate — pull request #50 by ondras (2014-10-23 12:24:12+00:00)
Title: doctype is case insensitive in html5

Hi,

the declaration
```html

```

is valid HTML5, but treated as an "er"(ror) token, because of the lowercase.