3v4l.org

run code in 300+ PHP versions simultaneously
<?php $ids=array(01234,1234); $ids=str_replace(["[",",","]"],['["','","','"]'],$ids); foreach ($ids as $id){ echo $id; echo "<br />"; }

preferences:
107.66 ms | 1441 KiB | 5 Q