$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));
}
Bagaimana untuk memasang sijil ssl
Penggunaan fungsi terima
lokasi.tugaskan
Bagaimana untuk membuat fail iso
Bagaimana untuk menyemak alamat pelayan ftp
Perkara yang perlu dilakukan jika ralat berlaku dalam skrip halaman semasa
Bagaimana untuk membuka fail php pada telefon bimbit
Alih keluar baris pengepala
![[Web front-end] Permulaan pantas Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
