Replace array_key_exists() with faster isset()