From 39754cde59d1b0f638864488e046b286c112d0a7 Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Tue, 6 Feb 2024 15:56:47 +0800 Subject: [PATCH] add micro patcher for php84 --- src/SPC/store/SourcePatcher.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/SPC/store/SourcePatcher.php b/src/SPC/store/SourcePatcher.php index a7a9bbca..c1fe1be7 100644 --- a/src/SPC/store/SourcePatcher.php +++ b/src/SPC/store/SourcePatcher.php @@ -106,7 +106,7 @@ class SourcePatcher } $patch_list = $list ?? $default; $patches = []; - $serial = ['80', '81', '82', '83']; + $serial = ['80', '81', '82', '83', '84']; foreach ($patch_list as $patchName) { if (file_exists(SOURCE_PATH . "/php-src/sapi/micro/patches/{$patchName}.patch")) { $patches[] = "sapi/micro/patches/{$patchName}.patch";