Editing: ArrayHasKey.php