Hola según entiendo lo que quieres es modificar el valor de esa varible justo como suele hacerse para cambiar opciones de configuración lo que yo hago en estos casos es generar el archivo nuevamente desde cero, con lo nuevos valores, es decir si tu archivo es así:
Código PHP:
<?php
$servidor="localhost";
$user="Juan";
$pass="asdg";
?>
Para cambiar los valores de variables tendrías que generar ese archivo nuevamente así:
Código PHP:
<?php
/*Suponiendo que el archivo que quieres cambiar se llama config.php y los nuevos valores los recibes por post*/
/*Preparamos una variable con el contenido del archivo, el simbolo de $ y las comillas deben estar escapadas para que al escribir el archivo se escriba el nombre de la variable y no el valor*/
$contenido="
<?php
\$servidor=\"$_POST[servidor]\";
\$user=\"$_POST[user]\";
\$pass=\"$_POST[pass]\";
?>";
//Abrimos el archivo y borramos todo su contenido
$fp=fopen("config.php","W");
//Escribimos el archivo con los nuevos valores
//Aplicamos la funcion trim a la variable contenido para eliminar
//cualquier espacio sobrante.
if(fwrite($fp,trim($contenido)))
{
echo"El archivo se modifico correctamente";
exit;
}
else
{
echo"Error, no se logro modificar el archivo";
exit;
}
//cerramos el archivo
fclose($fp);
?>
Espero que te sirva, realmente no se mucho de php pero andaba por aquí y quise aportar algo.
Saludos.