Jump to content

Manuel:moveBatch.php

From mediawiki.org
This page is a translated version of the page Manual:MoveBatch.php and the translation is 90% complete.

Détails

Le fichier moveBatch.phpest un script de maintenance pour déplacer (renommer) un groupe de pages. Si la page cible existe déjà il va échouer avec un message d'erreur.

Utilisation

Option/paramètre Description
-u ‎<utilisateur> Nom d'utilisateur qui sera affiché dans les entrées de journal. Si laissé vide, les déplacements seront attribués à l'utilisateur appelé Script de déplacement de page.
-r ‎<motif> Motif des déplacements, inclure dans "…" si il contient des espaces. Si vide, aucun motif ne sera affiché dans les journaux.
-i ‎<intervalle> Nombre de secondes de veille après chaque déplacement. Si vide, est par défaut 0.
--noredirects Empêcher la création de redirections
‎<fichier liste> Le fichier devrait contenir des lignes de texte dans le format suivant:
nom actuel 1|nouveau nom 1
nom actuel 2|nouveau nom 2
nom actuel 3|nouveau nom 3

Exemple

Linux
php /path/to/moveBatch.php --u=user --r=reason --noredirects /path/to/listfile.txt
Les paramètres doivent être précédés de -- et complétés par =, comme indiqué dans l'exemple ci-dessus.
Windows
  • Ensure that MediaWiki is running.
  • Open Command Prompt by pressing ⊞ Win+R, typing cmd, and presing ↵ Enter.
\path\to\php.exe \path\to\moveBatch.php --u=user --r=reason --noredirects \path\to\listfiles.txt

Example command:

C:\xampp\core\php55\php.exe C:\xampp\htdocs\mw\maintenance\moveBatch.php --u=user --r=reason --noredirects C:\xxx.txt