1<?php 2 3/** @generate-function-entries */ 4 5function json_encode(mixed $value, int $flags = 0, int $depth = 512): string|false {} 6 7function json_decode(string $json, ?bool $associative = null, int $depth = 512, int $flags = 0): mixed {} 8 9function json_last_error(): int {} 10 11function json_last_error_msg(): string {} 12 13interface JsonSerializable 14{ 15 /** @return mixed */ 16 public function jsonSerialize(); 17} 18 19class JsonException extends Exception 20{ 21} 22