La extensión JSON es una extensión del núcleo de PHP, por lo que siempre está habilitada.
Antes de PHP 8.0.0, la extensión JSON estaba incluida y se compilaba en PHP por defecto, pero podía ser deshabilitada explícitamente usando --disable-json.
