Extension:PushToWatch/de-formal

This page is a translated version of the page Extension:PushToWatch and the translation is 11% complete.
MediaWiki extensions manual
PushToWatch
Release status: stable
Implementation User interface, Page action
Description Allows to push a page to another user's watchlist
Author(s) François Leurent (cloudyksDiskussion)
Latest version 0.3.0 (2020-11-24)
Compatibility policy Snapshots releases along with MediaWiki. Master is not backward compatible.
MediaWiki >= 1.37.0
Database changes No
License GNU General Public License 2.0 or later
Download
  • pushtowatch
Quarterly downloads 2 (Ranked 147th)
Translate the PushToWatch extension if it is available at translatewiki.net
Issues Open tasks · Report a bug

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 Ihrer LocalSettings.php -Datei hinzufügen:
    wfLoadExtension( 'PushToWatch' );
    
  •   Done – Zu Special:Version in dem Wiki (bei Einstellung auf deutsch nach Spezial:Version) navigieren, um die erfolgreiche Installierung der Erweiterung zu überprüfen.

Usage

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