[00:29:25] <ori>	 TimStarling: hello! would you have any objections to my moving the PoolCounter PHP client class from the PoolCounter extension into core? Core already contains most of the PoolCounter PHP code, including the PoolCounterRedis client implementation. I don't see a good reason for the MediaWiki extension to exist.
[00:29:52] <TimStarling>	 no objection
[00:29:59] <ori>	 thanks
[01:20:39] <legoktm>	 ori: https://phabricator.wikimedia.org/T201223
[01:23:07] <ori>	 oh cool :)