Changed signature of gmp_div

phpstan · Jan 8, 2022 · 74bde86 · 74bde86
1 parent e838b37
commit 74bde86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/functionMap.php b/resources/functionMap.php
@@ -3545,7 +3545,7 @@
 'gmp_clrbit' => ['void', 'a'=>'GMP|string|int', 'index'=>'int'],
 'gmp_cmp' => ['int', 'a'=>'GMP|string|int', 'b'=>'GMP|string|int'],
 'gmp_com' => ['GMP', 'a'=>'GMP|string|int'],
-'gmp_div' => ['GMP', 'a'=>'GMP|resource|string', 'b'=>'GMP|resource|string', 'round='=>'int'],
+'gmp_div' => ['GMP', 'a'=>'GMP|string|int', 'b'=>'GMP|string|int', 'round='=>'int'],
 'gmp_div_q' => ['GMP', 'a'=>'GMP|string|int', 'b'=>'GMP|string|int', 'round='=>'int'],
 'gmp_div_qr' => ['array', 'a'=>'GMP|string|int', 'b'=>'GMP|string|int', 'round='=>'int'],
 'gmp_div_r' => ['GMP', 'a'=>'GMP|string|int', 'b'=>'GMP|string|int', 'round='=>'int'],