summaryrefslogtreecommitdiff
path: root/ext/gmp/gmp.stub.php
diff options
context:
space:
mode:
authorMáté Kocsis <kocsismate@woohoolabs.com>2020-04-04 23:51:10 +0200
committerMáté Kocsis <kocsismate@woohoolabs.com>2020-04-05 00:59:44 +0200
commit5322de1ba8428c0231c972586217f9b1b705c45d (patch)
tree0cedf1dbe6b67a5e49382480f996f7456bc46f61 /ext/gmp/gmp.stub.php
parentd5bbb28f7d9d0621263be5073102cd1a32170cd1 (diff)
downloadphp-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.php2
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 {}