Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  420b80e323da2e139b3f0bf93f5904e63b224683

Add script to dump Redis database for debugging.

Change-Id: Ie6dd37c563f23ed66d8dcb4928af332f141d98bd