PHP, how I've missed you xD

dev.php

<?php

$a = array("boaz", "ruben", "jop");

echo json_encode($a); // ["boaz","ruben","jop"]

unset($a[1]);

echo json_encode($a); // {"0":"boaz","2":"jop"}

$a = array("boaz", "ruben", "jop");

echo json_encode($a); // ["boaz","ruben","jop"]

array_splice($a, 1, 1);

echo json_encode($a); // ["boaz","jop"]