Rename PoolCounter_Stub to PoolCounterNull
authorUmherirrender <umherirrender_de.wp@web.de>
Sun, 24 Mar 2019 21:44:46 +0000 (22:44 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Sun, 24 Mar 2019 21:44:46 +0000 (22:44 +0100)
commitc71a50e2a065240d0d57a25f73cb449da49481a4
tree58e7e8c5767f397c8ce98f7e53d9107da9816446
parentf3b090c31fcd0fdda5c4edd3eb70becc76fb444e
Rename PoolCounter_Stub to PoolCounterNull

Also move to own file
Remove "Stub", because it refers a php concept,
which is not used here

Change-Id: Ife952901b5ad8e4a408d229ee72de953a9acc220
.phpcs.xml
autoload.php
includes/poolcounter/PoolCounter.php
includes/poolcounter/PoolCounterNull.php [new file with mode: 0644]