Open main menu

Extension:PushToWatch


Other languages:
English • ‎español • ‎português • ‎中文 • ‎日本語
MediaWiki extensions manual
OOjs UI icon advanced.svg
PushToWatch
Release status: unmaintained
Pushtowatch.png
Implementation User interface, Page action
Description Allows to push a page to another user's watchlist
Author(s) François Leurent (cloudykstalk)
Latest version 0.2.0 (2014-04-02)
Compatibility policy release branches
PHP 5.3+
Database changes No
License GNU General Public License 2.0 or later
Download
Translate the PushToWatch extension if it is available at translatewiki.net
Check usage and version matrix.

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

InstallationEdit

  • Download and place the file(s) in a directory called PushToWatch in your extensions/ folder.
  • Add the following code at the bottom of your LocalSettings.php:
    require_once "$IP/extensions/PushToWatch/PushToWatch.php";
    
  •   Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

UsageEdit

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