Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  b5b5fffe5669ec0c7a115f08727528653237c049

Don't use pool counter when running maintenance scripts

Bug: 57068
Change-Id: Ib9653f53ae888d81f86e8316c8c6c06b61c6ab04