add micro patcher for php84

This commit is contained in:
crazywhalecc 2024-02-06 15:56:47 +08:00
parent a6f7b938e1
commit 39754cde59
No known key found for this signature in database
GPG Key ID: 5900B7737B0F0E08

View File

@ -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";