PHP array delete by value (not key)
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.

PHP array delete by value (not key)
===

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.
