str$
extension), but strings work now in general. https://tio.run/##K01KLM5M/v/f0EDBSUXBVkFJUYnLyEDBGczWUeIyNlDwALM9UnNy8pW4TAwUgsF8BSUuUwOFcDA7PL8oJ0WJy8xAISDI0y8EpEMbZIQ2SK02SJE20HSu//8B
In PHP, the following :echo json_encode([1,2,3]);
results in the error
PHP Fatal error: Uncaught Error: Call to undefined function json_encode() in /home/runner/.code.tio:3
I'm guessing this is related to the Debian/JSON license conflict outlined at https://stackoverflow.com/questions/18239405/php-fatal-error-call-to-undefined-function-json-decode , but that's from 4 years ago, so maybe not. JSON functions are supposed to be core functions in PHP. Is this expected behavior?
Example tio: https://tio.run/##K8go@G9jXwAkU5Mz8hWyivPz4lPzkvNTUjWiDXWMdIxjNa3//wcA