Extension:PushToWatch/pl

Podręcznik rozszerzeń MediaWiki

PushToWatch Status wydania: stabilne
Realizacja	Interfejs użytkownika, Akcja strony
Opis	Allows to push a page to another user's watchlist
Autor(zy)	François Leurent (cloudyksdyskusja)
Ostatnia wersja	0.3.0 (2020-11-24)
Polityka zgodności	Snapshots releases along with MediaWiki. Master nie jest kompatybilny wstecznie.
MediaWiki	>= 1.37.0
Zmiany w bazie danych	Nie
Licencja	Licencja GNU General Public License 2.0 lub nowsza
Pobieranie	Pobierz rozszerzenie Git [?]: Pobierz Git master przeglądaj repozytorium (GitHub) historia wprowadzeń repository contributors (GitHub) ocena kodu
Dodawane uprawnienia pushtowatch
Użyte haki SkinAddFooterLinks
Quarterly downloads	0
Przetłumacz rozszerzenie PushToWatch jeżeli jest dostępne na translatewiki.net
Problemy	Otwarte zadania · Zgłoś błąd

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

Instalacja

• Pobierz i umieść plik(i) w katalogu o nazwie PushToWatch w folderze extensions/.
  Developers and code contributors should install the extension from Git instead, using:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PushToWatch
• Dodaj poniższy kod na dole twojego pliku LocalSettings.php :

  wfLoadExtension( 'PushToWatch' );
  

•  Zrobione – Przejdź do Special:Version na twojej wiki, aby sprawdzić czy rozszerzenie zostało pomyślnie zainstalowane.

Użycie

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".