Remove patch point

This commit is contained in:
crazywhalecc
2026-04-20 11:29:16 +08:00
parent 69d4c16fcb
commit 05900c2d6c
5 changed files with 6 additions and 95 deletions

View File

@@ -3,7 +3,6 @@
declare(strict_types=1);
use StaticPHP\Exception\ExecutionException;
use StaticPHP\Exception\InterruptException;
use StaticPHP\Exception\WrongUsageException;
use StaticPHP\Runtime\Shell\DefaultShell;
use StaticPHP\Runtime\Shell\UnixShell;
@@ -120,18 +119,6 @@ function cmd(?bool $debug = null): WindowsCmd
return new WindowsCmd($debug);
}
/**
* Get current patch point.
*/
function patch_point(): string
{
if (StaticPHP\DI\ApplicationContext::has('patch_point')) {
/* @phpstan-ignore-next-line */
return StaticPHP\DI\ApplicationContext::get('patch_point');
}
return '';
}
// Add log filter value(s) to prevent secret leak
function spc_add_log_filter(array|string $filter): void
{
@@ -158,11 +145,6 @@ function spc_write_log(mixed $stream, string $data): false|int
return fwrite($stream, $data);
}
function patch_point_interrupt(int $retcode, string $msg = ''): InterruptException
{
return new InterruptException(message: $msg, code: $retcode);
}
// ------- function f_* part -------
// f_ means standard function wrapper