Removing an element from an array (PHP)
<p>I want to remove an element from a PHP array (and shrink the array size). Just looking at the PHP docs, it seems this can be done using array_slice() and array_merge()</p>

<p>so I am guessing (off the top of my head) that some combination of array_merge() and array_slice will work. However, array_slice() requires an index (not a key), so I'm not sure how to quickly cobble these functions together for a solution.</p>

<p>Has anyone implemented such a function before?. I'm sure it must be only a few lines long, but I cant somehow get my head around it (its been one of those days) ...</p>

<p>Actually, I just came up with this cheesy hack when writing up this question....</p>

<pre><code>function remove_from_array(array $in, value) {
   return array_diff($in, (array)$value);
}
</code></pre>

<p>too ugly? or will it work (without any shocking side effects)?</p>
