MediaWiki extensions manual

PushToWatch Release status: stableCategory:Stable extensions
Implementation	User interfaceCategory:User interface extensions, Page action Category:Page action extensions
Description	Allows to push a page to another user's watchlist
Author(s)	François Leurent (cloudykstalk)
Latest version	0.3.0 (2020-11-24)
Compatibility policy	Snapshots releases along with MediaWiki. Master is not backward compatible.Category:Extensions with release branches compatibility policy
Database changes	No
License	GNU General Public License 2.0 or later
Download	Download extension Git [?]: Browse repository (GitHub) Gerrit code review Git commit log Download source tarball Category:Extensions in Wikimedia version control
Added rights pushtowatch
Hooks used SkinAddFooterLinks Category:SkinAddFooterLinks extensions
Quarterly downloads	0
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

• Download and move the extracted PushToWatch folder to your extensions/ directory.
  Developers and code contributors should install the extension from Git instead, using:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PushToWatch
• Add the following code at the bottom of your LocalSettings.php file:

  wfLoadExtension( 'PushToWatch' );
  

• Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

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