![]() Release status: stable |
|
---|---|
![]() |
|
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.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 | Download extension Git [?]: |
Hooks used
|
|
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 place the file(s) in a directory called
PushToWatch
in yourextensions/
folder. - Add the following code at the bottom of your LocalSettings.php
wfLoadExtension( 'PushToWatch' );
file: 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".
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.