<?php $str = "Hello there".str_repeat(json_decode('"\u00A0"'),10)."Bob!";echo $str ."\n";$new_str = preg_replace("/\s+/u", " ", $str);echo $new_str;
Standard input is empty
Hello there Bob! Hello there Bob!
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!