3v4l.org

run code in 300+ PHP versions simultaneously
<?php var_dump(setlocale(LC_ALL, 'de_DE.utf-8')); $number = 25 / 2; var_dump($number); $temp = filter_var($number, FILTER_SANITIZE_NUMBER_FLOAT, FILTER_FLAG_ALLOW_FRACTION); var_dump($temp);
Output for 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6 - 8.3.7
string(11) "de_DE.utf-8" float(12.5) string(4) "12.5"
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0 string(11) "de_DE.utf-8" float(12.5) string(4) "12.5"
Output for 7.3.0 - 7.3.33, 7.4.0 - 7.4.33
string(11) "de_DE.utf-8" float(12,5) string(3) "125"
preferences:
158.06 ms | 402 KiB | 157 Q