$content) { $dest = $root.'/'.$path; if (file_exists($dest)) { @mkdir(dirname($bak.'/'.$path), 0755, true); @copy($dest, $bak.'/'.$path); } @mkdir(dirname($dest), 0755, true); if (file_put_contents($dest, $content) === false) $err[] = $path; else $ok++; } echo '

Installation terminée

'.$ok.' fichiers écrits sur '.count($files).'.

'; if ($err) echo '

Fichiers non écrits (droits insuffisants) : '.htmlspecialchars(implode(', ', $err)).'

'; echo '

Ancienne version sauvegardée dans sauvegarde-20261020/.

'; echo @unlink(__FILE__) ? '

Ce script s\'est effacé.

' : '

Supprimez install-bletchley.php à la main.

'; echo '

Voir le site (Ctrl+F5 pour recharger)

';