public function removeVisitor(NodeVisitor $visitor) { foreach ($this->visitors as $index => $storedVisitor) { if ($storedVisitor === $visitor) { unset($this->visitors[$index]); break; } } }
/** * Unregisters an extension from the engine * * @param ExtensionInterface $extension Extension to unregister */ public static function unregisterExtension(ExtensionInterface $extension) { self::$traverser->removeVisitor($extension); }