Disable Sphinx Domains completely

Author: wouterj

.github/workflows/ci.yaml

@@ -29,13 +29,13 @@ jobs:
             -   name: "Install Sphinx dependencies"
                 run: sudo apt-get install python-dev build-essential
 
-#            -   name: "Cache pip"
-#                uses: actions/cache@v2
-#                with:
-#                    path: ~/.cache/pip
-#                    key: ${{ runner.os }}-pip-${{ hashFiles('_build/.requirements.txt') }}
-#                    restore-keys: |
-#                        ${{ runner.os }}-pip-
+            -   name: "Cache pip"
+                uses: actions/cache@v2
+                with:
+                    path: ~/.cache/pip
+                    key: ${{ runner.os }}-pip-${{ hashFiles('_build/.requirements.txt') }}
+                    restore-keys: |
+                        ${{ runner.os }}-pip-
 
             -   name: "Install Sphinx + requirements via pip"
                 run: pip install -r _build/.requirements.txt

_build/.requirements.txt

@@ -1,7 +1,6 @@
 docutils==0.13.1
 Pygments==2.2.0
 sphinx==1.8.5
-sphinxcontrib-phpdomain==0.6.3
 git+https://github.com/fabpot/sphinx-php.git@v2.0.0#egg_name=sphinx-php
 jsx-lexer===0.0.8
 sphinx_rtd_theme==0.5.0

_build/conf.py

@@ -132,8 +132,8 @@
     'varnish4': 'Varnish 4'
 }
 
-# use PHP as the primary domain
-primary_domain = 'php'
+# don't enable Sphinx Domains
+primary_domain = None
 
 # set url for API links
 api_url = 'https://github.com/symfony/symfony/blob/master/src/%s.php'