<?php $users[923] = 'TelRev'; $users[100] = 'Skellington'; $users[1202] = 'CapnBlack'; $userids = array_keys($users,"TelRev"); var_dump($userids); ?>
You have javascript disabled. You will not be able to edit any code.