PHP function I needed, that I thought might be useful for others as well. Like array_pop(), but for a specific array element instead of the very last one.

php_array_pull.php

<?
// Dec 2013 - CarpeNoctem

// Like array_pop(), for a specific array element instead of the very last one.
function pull(&$array,$key)
{
    $ret = $array[$key];
    unset($array[$key]);
    return($ret);
}

?>