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 142nd)
Ü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.
  Developers and code contributors should install the extension from Git instead, using: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 – Zu Special:Version in dem Wiki (bei Einstellung auf deutsch nach Spezial:Version) navigieren, um die erfolgreiche Installierung der Erweiterung zu überprüfen.

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