Есть ли в PHP функция добавления элемента в произвольное место в массиве?
Понимаю, что можно самому написать, но подумал, что такая функция может уже есть
// поиск в интернете выдал функции добавления в начало и в конец.
$arr_new=array_merge( array_slice( $arr, 0, $pos-1), array( $new_val), array_slice( $arr, $pos-1) );