Extension:PushToWatch
This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. If you are interested in taking on the task of developing and maintaining this extension, you can request repository ownership. As a courtesy, you may want to contact the author. You should also remove this template and list yourself as maintaining the extension in the page's {{extension}} infobox. |
 Release status: unmaintained |
|
|---|---|
 |
|
| 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. | |
| Issues | Open tasks · Report a bug |
The PushToWatch extension allows to push a page to another user's watchlist.
InstallationEdit
- Download and place the file(s) in a directory called
PushToWatchin yourextensions/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".