re-add sphinxcontrib.phpdomain

dbu · dbu · commit b2b2e3003dd9 · 2024-03-22T10:33:02.000+01:00
diff --git 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
