blob: fc7d2c1569c0f948c18bd38c8d4ed9eaf9bdef73 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<?php
/** @generate-function-entries */
function json_encode(mixed $value, int $options = 0, int $depth = 512): string|false {}
function json_decode(string $json, ?bool $assoc = null, int $depth = 512, int $options = 0): mixed {}
function json_last_error(): int {}
function json_last_error_msg(): string {}
interface JsonSerializable
{
/** @return mixed */
public function jsonSerialize();
}
|