Hola, otra idea sería usar la funcion
explode. Una vez detectes que el navegador es Firefox puedes explotar esa cadena por el "/".
por ejemplo:
Código PHP:
$navegador = "Firefox/1.5.0.6";
$version = explode("/", $navegador);
echo $version[1]; // En principio debería imprimir "1.5.0.6"
Saludos