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.
↑ and ↓ to navigate •
Enter to select •
Esc to close • / to open