main: Disable $_SERVER JIT when register_argc_argv=1#19833
Merged
TimWolla merged 3 commits intophp:masterfrom Sep 17, 2025
Merged
main: Disable `$_SERVER` JIT when `register_argc_argv=1`#19833TimWolla merged 3 commits intophp:masterfrom
TimWolla merged 3 commits intophp:masterfrom