Manual:Edit.php

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:Edit.php and the translation is 80% complete.
Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎magyar • ‎polski • ‎português • ‎português do Brasil • ‎русский • ‎日本語

Detalhes

O arquivo edit.php é um script de manutenção que permite editar artigos a partir da linha de comando.

Uso

php edit.php [options...] <title>

Opções

Opção/Parâmetro Descrição
-u <user> Nome de Usuário
-s <summary> Sumário de edição
-m Edição menor
-b Edição de bot (oculta)
-a Habilitar autosumário
--no-rc Não exibe a alteração nas mudanças recentes

If the specified user does not exist, it will be created. If no username has been provided, the edit will be attributed to user "Maintenance script", created if needed. The text for the edit will be read from stdin.

Exemplos

php edit.php -s "Quick edit" -m Page_I_want_to_edit < file_containing_wikitext

The above will edit the page Page_I_want_to_edit (marking the edit minor) so it contains the contents of the file file_containing_wikitext using the edit summary Quick edit.

php getText.php "page_title" | sed -e 's/\bfoo\b/bar/g' | php edit.php "page_title"

The above will take the text of the page page_title from your wiki, replace every occurrence of the word foo with the word bar, and save the result back to the page page_title. Você pode fazer muitas transformações de texto complexas do texto da página dessa maneira; veja a entrada do seu manual Unix para sed.

Ver também