Add 8.5 patch support for phpmicro

This commit is contained in:
crazywhalecc
2025-07-15 21:14:02 +08:00
parent 5f2459ae43
commit ec959f6239

View File

@@ -133,7 +133,7 @@ class SourcePatcher
} }
$patch_list = $spc_micro_patches; $patch_list = $spc_micro_patches;
$patches = []; $patches = [];
$serial = ['80', '81', '82', '83', '84']; $serial = ['80', '81', '82', '83', '84', '85'];
foreach ($patch_list as $patchName) { foreach ($patch_list as $patchName) {
if (file_exists(SOURCE_PATH . "/php-src/sapi/micro/patches/{$patchName}.patch")) { if (file_exists(SOURCE_PATH . "/php-src/sapi/micro/patches/{$patchName}.patch")) {
$patches[] = "sapi/micro/patches/{$patchName}.patch"; $patches[] = "sapi/micro/patches/{$patchName}.patch";