Manuel:cleanupCaps.php
Version de MediaWiki : | ≥ 1.5 |
Fichier MediaWiki : cleanupCaps.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
Classes : | CapsCleanup |
Détails
Le fichier cleanupCaps.php est un script de maintenance utilisé pour nettoyer les liens de pages cassés lorsqu'on désactive $wgCapitalLinks . Les conversions seront attribuées à l'utilisateur appelé 'Script de conversion'.
Ce script transforme TOUTES les pages de votre wiki en minuscules et crée des redirections des majuscules vers les minuscules (exemple: Si vous avez une page appelée "Ours", il la déplacera vers la page "ours", et la page "Ours" redirigera vers "ours") - ne pas utiliser ce script, sauf si vous êtes prêts à corriger manuellement beaucoup de redirections !
Options et arguments
Option | Description | Obligatoire ? |
---|---|---|
--dry-run | Ne pas essayer de les déplacer actuellement. | optionnel |
--namespace | Espace de noms sur lequels exécuter le script. Par défaut: 0 (espace de noms principal). | optionnel |
Utilisation
php maintenance/cleanupCaps.php [ --dry-run| --namespace ]
Vérifier avec une exécution à blanc
Terminal
$ php maintenance/cleanupCaps.php --dry-run Will be moving pages to first letter lowercase titles Processing page... "Main Page" -> "main Page": DRY RUN, NOT MOVED "Saraswati Maa" -> "saraswati Maa": DRY RUN, NOT MOVED "abc" already lowercase. Finished page... 2 of 5 rows updated
Pages actuellement en cours de renommage
Terminal
$ php maintenance/cleanupCaps.php Will be moving pages to first letter lowercase titles Processing page... "Main Page" -> "main Page": OK "Saraswati Maa" -> "saraswati Maa": OK "abc" already lowercase. Finished page... 2 of 5 rows updated