Extensão:PushToWatch

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Extension:PushToWatch and the translation is 33% complete.

Other languages:
English • ‎español • ‎日本語 • ‎português • ‎中文
Manual de extensões do MediaWikiManual:Extensions
Crystal Clear action run.svg
PushToWatch

Estado da versão:Extension status sem manutenção

Pushtowatch.png
ImplementaçãoTemplate:Extension#type User interface, Page action
DescriçãoTemplate:Extension#description Allows to push a page to another user's watchlist
Autor(es)Template:Extension#username François Leurent (cloudykstalk)
Última versãoTemplate:Extension#version 0.2.0 (2014-04-02)
PHPTemplate:Extension#php 5.3+
Alterações à
base de dados
Template:Extension#needs-updatephp
Não
LicençaTemplate:Extension#license GNU General Public License 2.0 or later
Exportação (Download)
Hooks usadosTemplate:Extension#hook
SkinTemplateOutputPageBeforeExecManual:Hooks/SkinTemplateOutputPageBeforeExec

Traduza a extensão PushToWatch se ela estiver disponível na wiki translatewiki.net

Verifique a matriz de utilização e versões

The PushToWatch extension allows to push a page to another user's watchlist.

Instalação

  • Exporte e coloque o ficheiro, ou ficheiros, num diretório chamado PushToWatch, na sua pasta extensions/.
  • Acrescente o seguinte código ao fundo do ficheiro LocalSettings.php:
    require_once "$IP/extensions/PushToWatch/PushToWatch.php";
    
  • YesY Pronto – Na página especial Special:Version da sua wiki verifique se a extensão foi instalada.

Uso

You should see a form at the bottom of all pages, preceded by the list of all current watcher. You can put someone account name (login), there, press enter to submit. The page will refresh itself, and changes take effect immediately.

The "pusher" and the "pushed to" will receive email notifying them of the "forced invitation".