From cd1f13afe28568e0d7ee8a1cced87c018b746d26 Mon Sep 17 00:00:00 2001
From: Ivan Fedorov <ivan.fedorov@jetbrains.com>
Date: Fri, 14 Oct 2022 23:41:16 +0200
Subject: [PATCH] gmp_gcdext change type to mixed in ArrayShape

---
 gmp/gmp.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gmp/gmp.php b/gmp/gmp.php
index 712828be1..aa30438f2 100644
--- a/gmp/gmp.php
+++ b/gmp/gmp.php
@@ -426,7 +426,7 @@ function gmp_gcd(GMP|string|int $num1, GMP|string|int $num2): GMP {}
  * @return array An array of GMP numbers.
  */
 #[Pure]
-#[ArrayShape(["g" => "int", "s" => "int", "t" => "int"])]
+#[ArrayShape(["g" => "mixed", "s" => "mixed", "t" => "mixed"])]
 function gmp_gcdext(GMP|string|int $num1, GMP|string|int $num2): array {}
 
 /**