<?php $arr = array_flip(['123', '456', '789']); var_dump(isset($arr[123]));
You have javascript disabled. You will not be able to edit any code.