Merge branch 3.x of github.com:phplrt/phplrt

phplrt · Jul 28, 2024 · a00c827 · a00c827
1 parent b0d4421
commit a00c827
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Lexer.php b/src/Lexer.php
@@ -328,11 +328,12 @@ public function lex($source, int $offset = 0): iterable
         }
 
         $unknown = [];
+        $skip = array_flip($this->skip);
 
         try {
             foreach ($this->driver->run($this->tokens, $source, $offset) as $token) {
                 // Process "hidden" tokens.
-                if (\in_array($token->getName(), $this->skip, true)) {
+                if (isset($skip[$token->getName()])) {
                     if (($handledToken = $this->handleHiddenToken($source, $token)) !== null) {
                         yield $handledToken;
                     }