Merge pull request #14178 from nextcloud/dependabot/pip/master/sphinxcontrib-phpdomain-0.15.2

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

Author: skjnldsv

.devcontainer/Dockerfile

@@ -1,4 +1,4 @@
-FROM python:3.12 as final
+FROM python:3.13 as final
 
 USER root
 

.github/workflows/sphinxbuild.yml

@@ -117,7 +117,7 @@ jobs:
 
       - uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
         with:
-          python-version: "3.12"
+          python-version: "3.13"
           cache: "pip"
 
       - name: Install pip dependencies

requirements.txt

@@ -29,7 +29,7 @@ sphinxcontrib-jquery==4.1
 sphinxcontrib-jsmath==1.0.1
 sphinxcontrib-mermaid==2.0.1
 sphinx-notfound-page==1.1.0
-sphinxcontrib-phpdomain==0.13.2
+sphinxcontrib-phpdomain==0.15.2
 sphinxcontrib-qthelp==2.0.0
 sphinxcontrib-serializinghtml==2.0.0
 sphinx-toolbox==4.1.2