diff options
author | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-04-04 20:41:42 +0200 |
---|---|---|
committer | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-04-04 20:41:48 +0200 |
commit | 7c3078737fcdd7c4da0607b2856502089e60194b (patch) | |
tree | c4e37fd2cd962616072b7324d78c7c6a5c6255d2 /ext/fileinfo/fileinfo.stub.php | |
parent | a43bc33fb2575cda582167c0d6571e501a2e6496 (diff) | |
download | php-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.php | 2 |
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 = "") {} |