From c61d91576e4a57290f335b0a74cb111a00b2383a Mon Sep 17 00:00:00 2001
From: zeriyoshi <zeriyoshi@gmail.com>
Date: Wed, 20 Jul 2022 01:18:41 +0900
Subject: [PATCH 1/2] random: remove unnecessary old header files

---
 UPGRADING.INTERNALS        | 8 ++++++++
 ext/standard/php_lcg.h     | 1 -
 ext/standard/php_mt_rand.h | 1 -
 ext/standard/php_rand.h    | 1 -
 ext/standard/php_random.h  | 1 -
 5 files changed, 8 insertions(+), 4 deletions(-)
 delete mode 100644 ext/standard/php_lcg.h
 delete mode 100644 ext/standard/php_mt_rand.h
 delete mode 100644 ext/standard/php_rand.h
 delete mode 100644 ext/standard/php_random.h

diff --git a/UPGRADING.INTERNALS b/UPGRADING.INTERNALS
index a52196dc60997..b490290173b59 100644
--- a/UPGRADING.INTERNALS
+++ b/UPGRADING.INTERNALS
@@ -51,6 +51,14 @@ PHP 8.2 INTERNALS UPGRADE NOTES
   are deprecated (see main UPGRADING notes). To suppress the notice, e.g. to
   avoid duplicates when processing the same value multiple times, pass or add
   IS_CALLABLE_SUPPRESS_DEPRECATIONS to the check_flags parameter.
+* php_lcg.h, php_rand.h, php_mt_rand.h and php_random.h has already removed in 
+  ext/standard, They have been merged into a single ext/random/php_random.h 
+  header file. If you are using them in an extension, change the headers to read as follows
+  #if PHP_VERSION_ID < 80200
+  # include "ext/standard/php_XYZ.h"
+  #else
+  # include "ext/random/php_random.h"
+  #endif
 
 ========================
 2. Build system changes
diff --git a/ext/standard/php_lcg.h b/ext/standard/php_lcg.h
deleted file mode 100644
index b86bb003d37dc..0000000000000
--- a/ext/standard/php_lcg.h
+++ /dev/null
@@ -1 +0,0 @@
-#include "ext/random/php_random.h"
diff --git a/ext/standard/php_mt_rand.h b/ext/standard/php_mt_rand.h
deleted file mode 100644
index b86bb003d37dc..0000000000000
--- a/ext/standard/php_mt_rand.h
+++ /dev/null
@@ -1 +0,0 @@
-#include "ext/random/php_random.h"
diff --git a/ext/standard/php_rand.h b/ext/standard/php_rand.h
deleted file mode 100644
index b86bb003d37dc..0000000000000
--- a/ext/standard/php_rand.h
+++ /dev/null
@@ -1 +0,0 @@
-#include "ext/random/php_random.h"
diff --git a/ext/standard/php_random.h b/ext/standard/php_random.h
deleted file mode 100644
index 9af3eef3fd92e..0000000000000
--- a/ext/standard/php_random.h
+++ /dev/null
@@ -1 +0,0 @@
-#include "ext/random/php_random.h"
\ No newline at end of file

From d0cba4a47e213c8dc00f7cd773c2b954807fa734 Mon Sep 17 00:00:00 2001
From: Go Kudo <g-kudo@colopl.co.jp>
Date: Wed, 20 Jul 2022 14:33:49 +0900
Subject: [PATCH 2/2] ci: kick