[CI skip] add EXTENSIONS and CREDITS

zeriyoshi · zeriyoshi · commit 2cb028068986 · 2022-07-19T11:37:50.000+09:00
diff --git a/EXTENSIONS b/EXTENSIONS
@@ -425,6 +425,12 @@ MAINTENANCE:         Unknown
 STATUS:              Working
 SINCE:               4.0.2
 -------------------------------------------------------------------------------
+EXTENSION:           random
+PRIMARY MAINTAINER   Go Kudo <zeriyoshi@gmail.com> (2022 - 2022)
+                     Tim Düsterhus <timwolla@php.net> (2022 - 2022)
+MAINTENANCE:         Maintained
+STATUS:              Working
+-------------------------------------------------------------------------------
 EXTENSION:           readline
 PRIMARY MAINTAINER:  Unknown
 MAINTENANCE:         Unknown
diff --git a/ext/random/CREDITS b/ext/random/CREDITS
@@ -0,0 +1,2 @@
+random
+Go Kudo, Tim Düsterhus, Guilliam Xavier, Christoph M. Becker, Jakub Zelenka, Bob Weinand, Máté Kocsis, and Original RNG implementators

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+random`
	`2`	`+Go Kudo, Tim Düsterhus, Guilliam Xavier, Christoph M. Becker, Jakub Zelenka, Bob Weinand, Máté Kocsis, and Original RNG implementators`