diff options
Diffstat (limited to 'ext/gmp/gmp.stub.php')
| -rw-r--r-- | ext/gmp/gmp.stub.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/gmp/gmp.stub.php b/ext/gmp/gmp.stub.php index 7f576ca0c1..ab86ce944b 100644 --- a/ext/gmp/gmp.stub.php +++ b/ext/gmp/gmp.stub.php @@ -53,6 +53,7 @@ function gmp_div_r($a, $b, int $round = GMP_ROUND_ZERO): GMP|false {} /** * @param GMP|int|bool|string $a * @param GMP|int|bool|string $b + * @alias gmp_div_q */ function gmp_div($a, $b, int $round = GMP_ROUND_ZERO): GMP|false {} |