Implement space after comment end state, as per r3195.

Edward Z. Yang ext:(%22) · Edward Z. Yang ext:(%22) · commit f3633692154e · 2009-06-07T01:59:40.000-04:00
diff --git a/library/HTML5/Tokenizer.php b/library/HTML5/Tokenizer.php
@@ -1362,6 +1362,14 @@ public function parse() {
                         ));
                         $this->token['data'] .= '-';
 
+                    } elseif($char === "\t" || $char === "\n" || $char === "\x0a" || $char === ' ') {
+                        $this->emitToken(array(
+                            'type' => self::PARSEERROR,
+                            'data' => 'unexpected-space-after-double-dash-in-comment'
+                        ));
+                        $this->token['data'] .= '--' . $char;
+                        $state = 'comment end space';
+
                     } elseif($char === '!') {
                         $this->emitToken(array(
                             'type' => self::PARSEERROR,
@@ -1421,6 +1429,33 @@ public function parse() {
                     }
                 break;
 
+                case 'comment end space':
+                    $char = $this->stream->char();
+                    if ($char === '>') {
+                        $this->emitToken($this->token);
+                        $state = 'data';
+                    } elseif ($char === '-') {
+                        $state = 'comment end dash';
+                    } elseif ($char === "\t" || $char === "\n" || $char === "\x0c" || $char === ' ') {
+                        $this->emitToken(array(
+                            'type' => self::PARSEERROR,
+                            'data' => 'unexpected-space-in-comment-end-space',
+                        ));
+                        $this->token['data'] .= $char;
+                    } elseif ($char === false) {
+                        $this->emitToken(array(
+                            'type' => self::PARSEERROR,
+                            'data' => 'unexpected-eof-in-comment-end-space',
+                        ));
+                        $this->emitToken($this->token);
+                        $this->stream->unget();
+                        $state = 'data';
+                    } else {
+                        $this->token['data'] .= $char;
+                        $state = 'comment';
+                    }
+                break;
+
                 case 'DOCTYPE':
                     /* Consume the next input character: */
                     $char = $this->stream->char();
