poolcounter: PoolCounterRedis doc cleanups
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 4 Sep 2015 01:06:01 +0000 (18:06 -0700)
committerKrinkle <krinklemail@gmail.com>
Fri, 4 Sep 2015 03:35:56 +0000 (03:35 +0000)
commitf62bcacbc52cb40997603a01148ae5d4f596a902
tree74471a13161fc67c5a49ce70baba9cbb2ce9f4b4
parent4eea6b5d71af0475f430fc9d68b922080f65ef14
poolcounter: PoolCounterRedis doc cleanups

Change-Id: I0266941c40d30f631ae77695cbe81bbdc2a85a79
includes/poolcounter/PoolCounterRedis.php