From 9db0d35a3595a61c28ee89582639fdd68ff3ce85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Viktor=20Sz=C3=A9pe?= <viktor@szepe.net>
Date: Fri, 29 Nov 2024 12:42:04 +0100
Subject: [PATCH] Deprecate HTML5TreeConstructer

---
 maintenance/PH5P.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/maintenance/PH5P.php b/maintenance/PH5P.php
index 4b1a8e24..9261c475 100644
--- a/maintenance/PH5P.php
+++ b/maintenance/PH5P.php
@@ -1139,7 +1139,14 @@ class HTML5
     }
 }
 
-class HTML5TreeConstructor
+class HTML5TreeConstructor extends HTML5TreeConstructer
+{}
+
+/**
+ * @deprecated Use HTML5TreeConstructor instead
+ * @todo Remove with version 5
+ */
+class HTML5TreeConstructer
 {
     public $stack = array();