Translations:Manual:Extensions/76/fr

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