Eliminación de un elemento de un array PHP por valor, no por clave

¡Hola a todos! Estoy empezando a aprender PHP y me encontré con un problema. Tengo un array con nombres de usuarios y necesito eliminar un nombre específico, pero no sé en qué índice (clave) se encuentra. Aquí hay un ejemplo de mi código: ```php $users = ['Iván', 'María', 'Pedro', 'Ana', 'Iván']; // Necesito eliminar 'Pedro' de este array ``` Sé que para eliminar por clave se usa `unset($array[$key])`, pero ¿qué hago si solo conozco el valor? Intenté escribir un bucle que recorra el array y compare valores, pero parece demasiado engorroso, especialmente si el array es grande. ¿Hay alguna función incorporada en PHP que permita eliminar un elemento por su valor? ¿Y qué hacer si hay varios valores iguales en el array, por ejemplo, el nombre 'Iván' aparece dos veces? ¿Necesito eliminar solo la primera ocurrencia o todas? Por favor, indíquenme cómo hacerlo de manera correcta y elegante. Agradeceré ejemplos de código y explicaciones. ¡Gracias de antemano! <<>>

Solución: