I have a PHP array as follows:
$messages = array();
$messages[1] = 312;
$messages[2] = 401;
$messages[3] = 1599;
$messages[4] = 3;
...
I want to delete the element containing the value $del_val
(for example, $del_val=401
), but I don't know its key. This might help: each value can only be there once.
I'm looking for the simplest function to perform this task please.