Wie füge ich ein neues Element an einer beliebigen Position in ein Array in PHP ein?

Hallo zusammen! Ich bin neu in PHP und habe ein Problem bei der Arbeit mit Arrays. Ich muss ein neues Element an einer beliebigen Position in ein Array einfügen, nicht nur am Anfang oder Ende. Hier ist ein Beispiel: Ich habe ein Array von Benutzern: ```php $users = ['Anna', 'Boris', 'Viktor']; ``` Ich möchte den neuen Namen 'Gleb' nach 'Boris' einfügen, um Folgendes zu erhalten: ```php // ['Anna', 'Boris', 'Gleb', 'Viktor'] ``` Ich habe versucht, `array_push()` zu verwenden – es fügt nur am Ende hinzu. `array_unshift()` – nur am Anfang. Eine Funktion wie `array_insert()` gibt es in PHP nicht. Ich habe von `array_splice()` gehört, verstehe aber nicht ganz, wie man es verwendet. Gibt es vielleicht einen anderen Weg? Zum Beispiel das Array in zwei Teile aufteilen, das Element einfügen und dann wieder zusammenfügen? Aber das scheint zu umständlich. Bitte sagt mir, wie ich dieses Problem richtig lösen kann. Ich würde gerne ein Codebeispiel mit Erklärungen sehen, damit ich es in meinen Projekten verwenden kann. Vielen Dank im Voraus! <<>>

Verwendung von arr