Extension:Watchers: Difference between revisions
Content deleted Content added
m some simple doc |
KrenairBot (talk | contribs) m This extension appears to be in SVN, not Git. |
||
Line 5: | Line 5: | ||
|version = 0.3 |
|version = 0.3 |
||
|author = Magnus Manske |
|author = Magnus Manske |
||
|download = {{WikimediaDownload|Watchers}} |
|download = {{WikimediaDownload|Watchers}} |
||
|description = An extension to show who is watching a page |
|description = An extension to show who is watching a page |
||
|parameters = $wgWatchersLimit |
|parameters = $wgWatchersLimit |
Revision as of 23:04, 13 August 2012
![]() Release status: stable |
|
---|---|
Implementation | Special page |
Description | An extension to show who is watching a page |
Author(s) | Magnus Manske |
Latest version | 0.3 |
MediaWiki | |
License | No license specified |
Download | |
$wgWatchersLimit |
|
watchers-list |
|
Translate the Watchers extension if it is available at translatewiki.net | |
The Watchers extension add a new special page to show who is watching a page. Users having the watchers-list right will see all users watching the page. Users not having this right will only have the count of users watching the page or if $wgWatchersLimit is set, only if the page has more or less than $wgWatchersLimit watching users.
Installation
- Download the latest snapshot and extract it to your extensions directory.
- Add to LocalSettings.php
require_once( "$IP/extensions/Watchers/Watchers.php" );
- The extension should be now active.