Como inserir um novo elemento em um array em qualquer posição no PHP?

Olá a todos! Sou novo em PHP e encontrei um problema ao trabalhar com arrays. Preciso inserir um novo elemento em um array em uma posição arbitrária, e não apenas adicioná-lo no início ou no final.\n\nAqui está um exemplo: tenho um array de usuários:\n\n```php\n$users = ['Anna', 'Boris', 'Victor'];\n```\n\nQuero inserir o novo nome 'Gleb' depois de 'Boris', para obter:\n\n```php\n// ['Anna', 'Boris', 'Gleb', 'Victor']\n```\n\nTentei usar `array_push()` — ele adiciona apenas no final. `array_unshift()` — apenas no início. E funções como `array_insert()` não existem em PHP.\n\nOuvi falar sobre `array_splice()`, mas não entendo completamente como usá-la. Talvez haja alguma outra maneira? Por exemplo, dividir o array em duas partes, inserir o elemento e depois juntar? Mas isso parece muito complicado.\n\nPor favor, me digam como resolver esse problema corretamente. Gostaria de ver um exemplo de código com explicações para poder usar isso em meus projetos. Desde já, obrigado!\n<<>>\n

Usando arr