';*/ array_push($newArr, $arr[$pos]); array_splice($arr, $pos, 1); } echo json_encode($newArr);