Moin!
Du kannst array_flip benutzen.
if ( count($ar) > count(array_flip($ar)) ) {
$DBinfo = "double_key";
}
Wobei ich mich sehr ernsthaft frage warum Du nicht schon in der Datenbank einen unique-Index benutzt. Dann kann das nämlich gar nicht vorkommen.
MFFG (Mit freundlich- friedfertigem Grinsen)
fastix