blob: 323cb6420d09c86d57129c7662d738b4a38cc513 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
<?php
/** @return string|false */
function json_encode($value, int $options = 0, int $depth = 512) {}
/** @return mixed */
function json_decode(string $json, ?bool $assoc = null, int $depth = 512, int $options = 0) {}
function json_last_error(): int {}
function json_last_error_msg(): string {}
|
