From b2b2e3003dd9677747c3d9bef1c80206da701fd9 Mon Sep 17 00:00:00 2001
From: David Buchmann <david.buchmann@liip.ch>
Date: Fri, 22 Mar 2024 10:33:02 +0100
Subject: [PATCH] re-add sphinxcontrib.phpdomain

---
 Resources/doc/conf.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Resources/doc/conf.py b/Resources/doc/conf.py
index 7e61a655..c9d29328 100644
--- a/Resources/doc/conf.py
+++ b/Resources/doc/conf.py
@@ -12,9 +12,10 @@
 highlight_language = 'php'
 
 extensions = [
-    'sphinxcontrib.spelling',
-    'sphinx_rtd_theme',
     "sphinx.ext.intersphinx",
+    'sphinx_rtd_theme',
+    'sphinxcontrib.phpdomain',
+    'sphinxcontrib.spelling',
 ]
 
 # Spelling configuration