1234567891011121314151617181920212223 |
- <?php
- /** @generate-class-entries */
- /** @refcount 1 */
- function json_encode(mixed $value, int $flags = 0, int $depth = 512): string|false {}
- function json_decode(string $json, ?bool $associative = null, int $depth = 512, int $flags = 0): mixed {}
- function json_last_error(): int {}
- /** @refcount 1 */
- function json_last_error_msg(): string {}
- interface JsonSerializable
- {
- /** @tentative-return-type */
- public function jsonSerialize(): mixed;
- }
- class JsonException extends Exception
- {
- }
|