blob: 5b0d72cef27e2534fb220a0c098e28e94dd4f470 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<?php
/** @generate-class-entries */
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 {}
function json_last_error_msg(): string {}
interface JsonSerializable
{
/** @return mixed */
public function jsonSerialize();
}
class JsonException extends Exception
{
}
|