Translations:Manual:Extensions/76/fr

Le fichier de mise à jour maintenance/update.php les retire quand vous le lancez après avoir désinstallé l'extension.