Translations:Manual:Extensions/59/fr

Malgré tout, le fait de lancer le script update.php même si cela n'est pas nécessaire ne causera aucun dommage. Donc, même si n'êtes pas certain, ne craignez pas de le lancer.