[PgD]

Eller array_flip. Kan kanske vara snabbare om man har stora arrayer. Om man inte först måste göra en kopia av arryen förstås.

<?php

$arr['1'] = "fot";
$arr['2'] = "bolls";
$arr['3'] = "vm";

$arr = array_flip($arr);

$nyckel = $arr['bolls'];

?>