Skip to content

[1.x] Merge pull request #1079 from phpDocumentor/feature/menu-subtitles#1080

Merged
phpdoc-bot merged 1 commit into1.xfrom
backport/1.x/pr-1079
Sep 25, 2024
Merged

[1.x] Merge pull request #1079 from phpDocumentor/feature/menu-subtitles#1080
phpdoc-bot merged 1 commit into1.xfrom
backport/1.x/pr-1079

Commits

Commits on Sep 25, 2024