Manual:edit.php
| Fichier MediaWiki : edit.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Classes : | EditCLI |
Détails
Le fichier edit.php est un script de maintenance pour modifier un article à partir de la ligne de commande.
Utilisation
php edit.php [options...] <title>
Options
| Option/paramètre | Description |
|---|---|
-u <user> |
Nom d'utilisateur |
-s <summary> |
Résumé de modification |
| -m | Modification mineure |
| -b | Modification par robot (occulté) |
| -a | Activer le résumé automatique |
| --no-rc | Ne pas afficher la modification dans les modifications récentes |
Si l'utilisateur spécifié n'existe pas, il sera créé. Si aucun nom d'utilisateur n'a été fourni, la modification sera attribuée à l'utilisateur « Script de maintenance » créé si nécessaire. Le texte de la modification sera lu sur stdin.
Exemples
php edit.php -s "Quick edit" -m Page_I_want_to_edit < file_containing_wikitext
Ce qui précède va modifier la page Page_I_want_to_edit (en marquant la modification comme mineure) pour qu'elle contienne le contenu du fichier file_containing_wikitext utilisant le résumé de modification Quick edit.
php getText.php "page_title" | sed -e 's/\bfoo\b/bar/g' | php edit.php "page_title"
Ce qui précède va prendre le texte de la page page_title sur votre wiki, remplacer chaque occurrence du mot foo par le mot bar, et enregistrer le résultat dans la page page_title.
Vous pouvez réaliser de multiples transformations complexes de texte de page de cette façon; voir le chapitre correspondant à sed dans votre manuel Unix.
