Update lib/html5lib/Tokenizer.php