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