crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-18 04:44:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

add php 8.3 support for phpmicro

Browse Source
This commit is contained in:
crazywhalecc 2023-08-01 23:43:57 +08:00 committed by Jerry Ma
parent 51ce2befd8
commit 2a197487d5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/SPC/store/SourcePatcher.php
View File

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