Upgrade all CI to Sphinx 1.8.5

Author: wouterj

.github/workflows/ci.yaml

@@ -41,7 +41,7 @@ jobs:
                 run: pip install -r _build/.requirements.txt
 
             -   name: "Build documentation"
-                run: make -C _build SPHINXOPTS=-nqW html
+                run: make -C _build SPHINXOPTS="-nqW -j auto" html
 
     doctor-rst:
         name: DOCtor-RST

_build/.requirements.txt

@@ -9,5 +9,6 @@ pytz==2017.2
 requests==2.20.0
 six==1.10.0
 snowballstemmer==1.2.1
-sphinx==1.3.6
+sphinx==1.8.5
 git+https://github.com/fabpot/sphinx-php.git@v1.0.14#egg_name=sphinx-php
+sphinxcontrib-phpdomain==0.6.3

_build/conf.py

@@ -35,6 +35,7 @@
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = [
     'sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.todo',
+    'sphinxcontrib.phpdomain',
     'sensio.sphinx.configurationblock', 'sensio.sphinx.phpcode', 'sensio.sphinx.bestpractice', 'sensio.sphinx.codeblock',
     'symfonycom.sphinx'
     #,'sphinxcontrib.spelling'