Skip to content
Back to pull request #7962

Fix: initialize undomanager for empty document #9928

Sign in to view logs

Fix: initialize undomanager for empty document

Fix: initialize undomanager for empty document #9928

php-lint (8.2)

php-lint (8.2)
succeeded Nov 19, 2025 in 52s