ini section in config.json doesn't work?

[Lotti]

Hello! I'm using Zephir 0.18.0 on PHP 8.3 (macOS).

As stated here: https://docs.zephir-lang.com/latest/phpinfo/#adding-ini-directives, I expect that ini settings pop up in phpinfo() after declaring them on config.json and do a full generate/compile. Nothing changes, I can't find any trace in generated C files, nor I can set the values with ini_set nor in a dedicated .ini file.

What am I missing?

Thanks.