Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  76c8430897c83adb06ec3316fa6ce5b8b1de155d

Handle empty Redis sets without a warning from array_key_exists

Change-Id: I0d26700108e1b0be792b6373f117853a57cbbce4