Updated mediawiki/extensions
Project: mediawiki/extensions/BetaFeatures  9eabe2f22e521cce1491f1879a2aa6f8039bd3ea

Add user counts, hopefully performant enough

Caching, job queues, and a separate database table...should be
enough. But I'll also be adding operations, on preference save,
on the new database table. Tomorrow.

Change-Id: Iad1d27b820bbc3d648b4b968233b56e32efc0b57