Manuel:FixDoubleRedirects.php
| Fichier MediaWiki : fixDoubleRedirects.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | FixDoubleRedirects |
Détails
Le fichier fixDoubleRedirects.php est un script de maintenance situé dans le répertoire maintenance qui peut être utilisé pour corriger une ou plusieurs double redirection(s).
Les modifications seront attribuées à l'utilisateur nommé dans le message Réparateur-Double-Redirection (Utilisateur:Réparateur de redirections) sur les wikis anglais par défaut.
Les modifications effectuées par ce script ne sont pas visibles sur Special:RecentChanges, mais ils apparaissent dans les contributions de cet utilisateur.
Le sommaire de modification vient du message Double-redirection-réparée-maintenance.
Ce script a été introduit dans MediaWiki 1.18 (r81408) et est écrit pour cette version. Pour une version qui fonctionne sur des versions plus anciennes de MediaWiki (testée sur la 1.16), voir ici.
Utilisation
| Option/Paramètre | Description |
|---|---|
| --async | Ne corrigez rien manuellement, ajoutez juste les tâches à la file. |
| --dry-run | Effectuer un essai à blanc, ne rien réparer |
| --title=page | Ne réparer que les redirections menant à la page donnée. |