quale è la funzione equivalente di indexOf di JS in PHP?