php 修改文件中变量

$filename ="bbbbbbb";

$dir = dirname(__FILE__);

$path = $dir."".DIRECTORY_SEPARATOR."config.php";

echo $path;

$contents = file_get_contents($path);

$contents = modify_ini_value($contents,"theme",$filename);

file_put_contents($path,$contents);

function modify_ini_value($content,$key,$replace){

$match = '/([ \t]*)(\$'.$key.'\s*=\s*\"?)(.*?)(\"?)(\s*;\s*$)/m';

return (preg_replace($match,"\${1}\${2}{$replace}\${4}\${5}",$content));

}