From 103539e2cb253be29bd4179c8517024a547e9bd9 Mon Sep 17 00:00:00 2001
From: Daniel Carbone <daniel.p.carbone@gmail.com>
Date: Thu, 9 Jan 2025 20:31:33 -0600
Subject: [PATCH] lazy way to handle div elements

---
 src/Version/Definition/Property.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Version/Definition/Property.php b/src/Version/Definition/Property.php
index cb60f680..a86092f4 100644
--- 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(