From 14d9afd28413e9964a9a33d30bafa1683d044542 Mon Sep 17 00:00:00 2001
From: Markus Staab <maggus.staab@googlemail.com>
Date: Thu, 12 Oct 2023 09:23:58 +0200
Subject: [PATCH] Fix "$result contains generic type mysqli_result<mixed> but
 class mysqli_result is not generic" (#632)

---
 config/Mysqli.stub | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/config/Mysqli.stub b/config/Mysqli.stub
index 89470ef0b..dc3622dc3 100644
--- a/config/Mysqli.stub
+++ b/config/Mysqli.stub
@@ -16,14 +16,3 @@ class mysqli_result implements Traversable, IteratorAggregate
      */
     function fetch_object(string $class = 'stdClass', array $constructor_args = []) {}
 }
-
-/**
- * @template T of object
- * @template TValue
- *
- * @param mysqli_result<TValue> $result
- * @param class-string<T> $class
- * @param array<mixed> $constructor_args
- * @return T|null|false
- */
-function mysqli_fetch_object(mysqli_result $result, string $class = 'stdClass', array $constructor_args = []) {}