Comment: Patch to enable software update

Pour info en 6.12 à l'étape de contrôle des nouveaux fichiers, le script renvoie une erreur :

Fatal error: Call to undefined function: make_path() in 6.12\scripts\update.php on line 176