Extension:PoolCounter

MediaWiki extensions manual

PoolCounter Release status: beta
Description	Provides a MediaWiki client for the pool counter daemon
Author(s)	Tim Starling, Platonides
MediaWiki	>= 1.31.0
Database changes	No
License	GNU General Public License 2.0 or later
Download	Download extension Git [?]: Download Git master browse repository (GitHub) commit history repository contributors (GitHub) code review
Parameters $wgPoolCountClientConf
Translate the PoolCounter extension if it is available at translatewiki.net
Check usage and version matrix.
Issues	Open tasks · Report a bug

The PoolCounter extension provides a MediaWiki client for the pool counter daemon.

Installation

• Download and place the file(s) in a directory called PoolCounter in your extensions/ folder.
• Add the following code at the bottom of your LocalSettings.php:

  wfLoadExtension( 'PoolCounter' );
  

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

To users running MediaWiki 1.24 or earlier:

The instructions above describe the new way of installing this extension using wfLoadExtension(). If you need to install this extension on these earlier versions (MediaWiki 1.24 and earlier), instead of wfLoadExtension( 'PoolCounter' );, you need to use:

require_once "$IP/extensions/PoolCounter/PoolCounter.php";

Configuration

The extension can be configured with the global $wgPoolCountClientConf, which is an associative array with the following keys:

servers

An array of server IP addresses. Adding multiple servers causes locks to be distributed on the client side using a consistent hashing algorithm.

timeout

The connect timeout in seconds.

See also

• PoolCounter
• $wgPoolCounterConf