diff options
Diffstat (limited to 'ext/json/json.stub.php')
| -rw-r--r-- | ext/json/json.stub.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/json/json.stub.php b/ext/json/json.stub.php index c5713a7980..406bd8a87c 100644 --- a/ext/json/json.stub.php +++ b/ext/json/json.stub.php @@ -1,5 +1,7 @@ <?php +/** @generate-function-entries */ + function json_encode($value, int $options = 0, int $depth = 512): string|false {} /** @return mixed */ |