-//-----------------------------------------------------------------------------
-// Inserts $elements into $array at position $index.
-// $elements is list of any objects
-//
-function array_insert(&$array, $index, $elements)
-{
- if (!is_array($elements)) $elements = array($elements);
-
- $head = array_splice($array, 0, $index);
- $array = array_merge($head, $elements, $array);
-}