Hi,
result is the same:
root@polh:/home/ef.admin# php -r 'echo setlocale(LC_NUMERIC, 0) . PHP_EOL;'
sl_SI.UTF-8
I have installed PHP7.3 from echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" | sudo tee /etc/apt/sources.list.d/php7.3.list
result is the same:
root@polh:/home/ef.admin# php -r 'echo setlocale(LC_NUMERIC, 0) . PHP_EOL;'
sl_SI.UTF-8
I have installed PHP7.3 from echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" | sudo tee /etc/apt/sources.list.d/php7.3.list