Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  df255c94f297b3c5134e06bbae3d3ad350f045a4

Synchronize task categories' membership to Redis

Change-Id: I1d76a54edbc6355ba449f7100da04ac430b55614