3v4l.org

run code in 300+ PHP versions simultaneously
<?php $separator = " "; echo preg_replace('/(?<=\d)\x' . bin2hex($separator[0]) . '(?=\d)/', $separator, number_format(12345678, 0, ".", $separator));

preferences:
38.93 ms | 402 KiB | 5 Q