Erweiterung:PushToWatch

MediaWiki-Erweiterungen

PushToWatch Freigabestatus: stabil
Einbindung	Benutzer-Schnittstelle, Seitenaktivität
Beschreibung	Allows to push a page to another user's watchlist
Autor(en)	François Leurent (cloudyksDiskussion)
Letzte Version	0.3.0 (2020-11-24)
Kompatibilitätspolitik	Snapshots werden zusammen mit MediaWiki veröffentlicht. Der Master ist nicht abwärtskompatibel.
MediaWiki	>= 1.37.0
Datenbankänderungen	Nein
Lizenz	GNU General Public License 2.0 oder neuer
Herunterladen	Erweiterung herunterladen Git [?]: Git master herunterladen Repository durchsuchen (GitHub) Ergänzungen und Änderungen Repository-Mitwirkende (GitHub) Code-Review
Hinzugefügte Rechte pushtowatch
Verwendete Hooks SkinAddFooterLinks
Quarterly downloads	2 (Ranked 138th)
Übersetze die PushToWatch-Erweiterung, wenn sie auf translatewiki.net verfügbar ist
Probleme	Offene Aufgaben · Einen Fehler melden

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

Installation

• Die Erweiterung herunterladen und die Datei(en) in ein Verzeichnis namens PushToWatch im Ordner extensions/ ablegen.
  Entwickler und Code-Beitragende sollten stattdessen die Erweiterung von Git installieren, mit:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PushToWatch
• Folgenden Code am Ende deiner LocalSettings.php -Datei einfügen:

  wfLoadExtension( 'PushToWatch' );
  

•  Erledigt – Navigiere zu Special:Version in deinem Wiki, um zu überprüfen, ob die Erweiterung erfolgreich installiert wurde.

Verwendung

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