lazy way to handle div elements

dcarbone · Jan 10, 2025 · 103539e · 103539e
1 parent 3356cda
commit 103539e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Version/Definition/Property.php b/src/Version/Definition/Property.php
@@ -127,6 +127,11 @@ public function getName(): null|string
 
     public function setName(string $name): self
     {
+        // this is a very sloppy way to handle "xhtml:div".
+        $idx = strpos($name, ':');
+        if ($idx > 0) {
+            $name = substr($name, $idx + 1);
+        }
         if ('' === $name) {
             throw new \InvalidArgumentException(
                 sprintf(