Fix undefined property in PoolCounterWork
authoraude <aude.wiki@gmail.com>
Thu, 6 Mar 2014 23:32:47 +0000 (00:32 +0100)
committeraude <aude.wiki@gmail.com>
Thu, 6 Mar 2014 23:34:50 +0000 (00:34 +0100)
commit098c9f7e7915d708b4e439a90e3fc7ab3ed5ab36
tree382524d1bba54e989c4b994494eb44656bdfcb47
parent91ee73ac0a896723849f73b69ae2339cfce380bc
Fix undefined property in PoolCounterWork

Change-Id: I033288d31dcef2120eb9239d1bc690d5cb0edda6
includes/PoolCounter.php