Manuel:ReassignEdits.php
Version de MediaWiki : | ≥ 1.6 |
Fichier MediaWiki : reassignEdits.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes : | ReassignEdits |
Détails
Le fichier reassignEdits.php est un script de maintenance pour réattribuer les modifications d'un utilisateur ou d'adresse IP, à un autre utilisateur.
Options et arguments
Option / Argument | Description | Nécessaire ? |
---|---|---|
<from> | Utilisateur ou adresse IP dont les modifications sont réattribuées | obligatoire |
<to> | Utilisateur à qui les modifications sont réattribuées | obligatoire |
--force | Réattribuer même si l'utilisateur cible n'existe pas | optionnel |
--norc | Ne pas mettre à jour les modifications récentes | optionnel |
--report | Afficher les détails de ce qui serait modifié, mais le pas le faire | optionnel |
--quiet | Ne pas afficher les informations sur l'avancement du script, excepté pour les erreurs | optionnel |
Utilisation
php maintenance/reassignEdits.php <from> <to> [ --force| --norc| --report| --quiet ]
Terminal
$ php maintenance/reassignEdits.php "0:0:0:0:0:0:0:1" "Foo" Checking current edits...found 13. Checking deleted edits...found 0. Checking recent changes...found 16. Total entries to change: 29 Reassigning current edits...done. Updating recent changes...done.
Les espaces faisant partie d'un nom d'utilisateur doivent être remplacés par des tirets du bas ( _ ).