Skip to content

Multi extension restart manager, to restart once for all known reasons - #6773

Merged
ondrejmirtes merged 1 commit into
phpstan:2.3.xfrom
AJenbo:restart-manager
Oct 22, 2026
Merged

Multi extension restart manager, to restart once for all known reasons#6773
ondrejmirtes merged 1 commit into
phpstan:2.3.xfrom
AJenbo:restart-manager

Commits

  1. Commits on Oct 21, 2026