From 2a197487d588d7d63e4f1d7e1a23cadfcd19ad0e Mon Sep 17 00:00:00 2001
From: crazywhalecc <jesse2061@outlook.com>
Date: Tue, 1 Aug 2023 23:43:57 +0800
Subject: [PATCH] add php 8.3 support for phpmicro

---
 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 ecd3f05d..c15a83b2 100644
--- a/src/SPC/store/SourcePatcher.php
+++ b/src/SPC/store/SourcePatcher.php
@@ -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";