Skip to content

Remove special handling of exit/die in stubs#16308

Merged
nikic merged 1 commit intophp:masterfrom
nikic:stub-exit
Oct 9, 2024
Merged

Remove special handling of exit/die in stubs#16308
nikic merged 1 commit intophp:masterfrom
nikic:stub-exit

Commits

Commits on Oct 8, 2024