3 ms·

Still ugly, but at least it won't crap out if your data has duplicate values: $copy = array_map( function($v) { return $v; }, $original );