summaryrefslogtreecommitdiff
path: root/ext/fileinfo/fileinfo.stub.php
diff options
context:
space:
mode:
authorMáté Kocsis <kocsismate@woohoolabs.com>2020-04-04 20:41:42 +0200
committerMáté Kocsis <kocsismate@woohoolabs.com>2020-04-04 20:41:48 +0200
commit7c3078737fcdd7c4da0607b2856502089e60194b (patch)
treec4e37fd2cd962616072b7324d78c7c6a5c6255d2 /ext/fileinfo/fileinfo.stub.php
parenta43bc33fb2575cda582167c0d6571e501a2e6496 (diff)
downloadphp-git-7c3078737fcdd7c4da0607b2856502089e60194b.tar.gz
Generate function entries from stubs for a couple of extensions
Closes GH-5347
Diffstat (limited to 'ext/fileinfo/fileinfo.stub.php')
-rw-r--r--ext/fileinfo/fileinfo.stub.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/fileinfo/fileinfo.stub.php b/ext/fileinfo/fileinfo.stub.php
index f19b3163a7..6835a4930f 100644
--- a/ext/fileinfo/fileinfo.stub.php
+++ b/ext/fileinfo/fileinfo.stub.php
@@ -1,5 +1,7 @@
<?php
+/** @generate-function-entries */
+
class finfo
{
function __construct(int $options = FILEINFO_NONE, string $arg = "") {}