key_pop.php

/**
 * Returns a value from an array and deletes 
 * the key=>value pair like python's s.pop['i']
 * 
 * @param array $arr The array to be searched
 * @param $key The search term
 * @return The $value mapped to $key or null
*/


function key_pop(array &$arr, $key) {
    if (array_key_exists($key, $arr)) {
        $val = $arr[$key];
        unset($arr[$key]);
        return $val;
    }
    return null;
}