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));
}