Entfernen eines Elements aus einem PHP-Array nach Wert, nicht nach Schlüssel

Hallo zusammen! Ich fange gerade an, PHP zu lernen, und bin auf ein Problem gestoßen. Ich habe ein Array mit Benutzernamen und muss einen bestimmten Namen daraus entfernen, aber ich weiß nicht, an welchem Index (Schlüssel) er sich befindet. Hier ist ein Beispiel meines Codes: ```php $users = ['Ivan', 'Maria', 'Petr', 'Anna', 'Ivan']; // Ich muss 'Petr' aus diesem Array entfernen ``` Ich weiß, dass zum Entfernen nach Schlüssel `unset($array[$key])` verwendet wird, aber was ist, wenn ich nur den Wert kenne? Ich habe versucht, eine Schleife zu schreiben, die das Array durchläuft und die Werte vergleicht, aber das wirkt zu umständlich, besonders wenn das Array groß ist. Gibt es in PHP eine eingebaute Funktion, die es erlaubt, ein Element nach seinem Wert zu entfernen? Und was ist zu tun, wenn es im Array mehrere gleiche Werte gibt, zum Beispiel der Name 'Ivan' kommt zweimal vor – muss nur das erste Vorkommen oder alle entfernt werden? Bitte sagt mir, wie man das richtig und elegant macht. Ich wäre dankbar für Codebeispiele und Erklärungen. Vielen Dank im Voraus! <<>>

Lösung: