re-add sphinxcontrib.phpdomain

FriendsOfSymfony · Mar 22, 2024 · b2b2e30 · b2b2e30
1 parent 85332b2
commit b2b2e30
Showing 1 changed file with 3 additions and 2 deletions.
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