&reftitle.install; L'extension JSON est fournie et compilée dans PHP par défaut. À partir de PHP 8.0.0, l'extension JSON est une extension core de PHP, et donc toujours activé. &pecl.info; &url.pecl.package;json