chore(deps): Bump sphinxcontrib-phpdomain from 0.13.1 to 0.13.2

Bumps [sphinxcontrib-phpdomain](https://github.com/markstory/sphinxcontrib-phpdomain) from 0.13.1 to 0.13.2.
- [Release notes](https://github.com/markstory/sphinxcontrib-phpdomain/releases)
- [Changelog](https://github.com/markstory/sphinxcontrib-phpdomain/blob/master/CHANGES)
- [Commits](markstory/sphinxcontrib-phpdomain@0.13.1...0.13.2)

---
updated-dependencies:
- dependency-name: sphinxcontrib-phpdomain
  dependency-version: 0.13.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

requirements.txt

@@ -28,7 +28,7 @@ sphinxcontrib-jquery==4.1
 sphinxcontrib-jsmath==1.0.1
 sphinxcontrib-mermaid==1.0.0
 sphinx-notfound-page
-sphinxcontrib-phpdomain==0.13.1
+sphinxcontrib-phpdomain==0.13.2
 sphinxcontrib-qthelp==2.0.0
 sphinxcontrib-serializinghtml==2.0.0
 sphinx-toolbox==4.0.0