Вставка элемента в произвольное место массива в PHP

В PHP нет специальной функции для вставки элемента в массив перед определенным элементом или после него, поэтому данную задачу приходится решать с помощью функции array_splice():

<?php
  $array = array(1,2,3);
  // Индекс элемента, который нужно заменить новым значением, сдвинув остальные
  $key = 2;
  /* Вместо элемента с ключом 2 помещаем новый элемент. При этом в третьем параметре передаем ноль, тем самым из исходного массива не удаляется ни один элемент */
  array_splice($array, $key, 0, 2.5);
  // Теперь массив $array содержит следующие элементы: 1, 2, 2.5, 3
?>