$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));
}
Comment installer le certificat SSL
Utilisation de la fonction accepter
emplacement.assign
Comment créer un fichier iso
Comment vérifier l'adresse du serveur FTP
Que faire si une erreur se produit dans le script de la page actuelle
Comment ouvrir des fichiers php sur un téléphone mobile
Supprimer la ligne d'en-tête
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
