diff options
author | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-04-04 23:51:10 +0200 |
---|---|---|
committer | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-04-05 00:59:44 +0200 |
commit | 5322de1ba8428c0231c972586217f9b1b705c45d (patch) | |
tree | 0cedf1dbe6b67a5e49382480f996f7456bc46f61 /ext/gmp/gmp.stub.php | |
parent | d5bbb28f7d9d0621263be5073102cd1a32170cd1 (diff) | |
download | php-git-5322de1ba8428c0231c972586217f9b1b705c45d.tar.gz |
Generate functions entries from stubs for another set of extensions
Closes GH-5351
Diffstat (limited to 'ext/gmp/gmp.stub.php')
-rw-r--r-- | ext/gmp/gmp.stub.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/gmp/gmp.stub.php b/ext/gmp/gmp.stub.php index ab86ce944b..a95616aa4e 100644 --- a/ext/gmp/gmp.stub.php +++ b/ext/gmp/gmp.stub.php @@ -1,5 +1,7 @@ <?php +/** @generate-function-entries */ + /** @param int|bool|string $number */ function gmp_init($number, int $base = 0): GMP|false {} |