¿Cómo insertar un nuevo elemento en un array en cualquier posición en PHP?

¡Hola a todos! Soy nuevo en PHP y me encontré con un problema al trabajar con arrays. Necesito insertar un nuevo elemento en un array en una posición arbitraria, no solo agregarlo al inicio o al final. Aquí hay un ejemplo: tengo un array de usuarios: ```php $users = ['Ana', 'Boris', 'Víctor']; ``` Quiero insertar el nuevo nombre 'Gleb' después de 'Boris', para obtener: ```php // ['Ana', 'Boris', 'Gleb', 'Víctor'] ``` Probé usar `array_push()` — solo agrega al final. `array_unshift()` — solo al inicio. Y no existe una función como `array_insert()` en PHP. He oído hablar de `array_splice()`, pero no entiendo completamente cómo usarla. ¿Quizás hay otra forma? Por ejemplo, dividir el array en dos partes, insertar el elemento y luego unirlas. Pero eso parece demasiado engorroso. Por favor, indíquenme cómo resolver correctamente este problema. Me gustaría ver un ejemplo de código con explicaciones para poder usarlo en mis proyectos. ¡Gracias de antemano! <<>>

Uso de arr