Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  66f2d4fc2653af990b9141201c435d7dd0e6cab8

Randomly sample articles from a category.

Use redis's SRANDMEMBER w/count to get random articles from a category.

Change-Id: Icc3d0926f3ede20aeeaefdc2aeeed4b4f42069b6