Skip to content

Doctype fixes for new PHPstan#3020

Merged
nickygerritsen merged 1 commit intoDOMjudge:mainfrom
nickygerritsen:phpstan-fixes
Jul 5, 2025
Merged

Doctype fixes for new PHPstan#3020
nickygerritsen merged 1 commit intoDOMjudge:mainfrom
nickygerritsen:phpstan-fixes

Commits

Commits on Jul 5, 2025