L'extension JSON est une extension du cœur de PHP, elle est donc activée par défaut.
Auparavant à PHP 8.0.0, l'extension JSON était apportée et compilée dans PHP par défaut, mais pouvait être désactivée explicitement en utilisant --disable-json
