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