[ci skip] Specify sphinxcontrib-phpdomain 0.1.3.post1 version

Our Sphinx dependencies suck
2 files changed