Updated mediawiki/extensions
Project: mediawiki/extensions/BetaFeatures  39a3e8f5099f7fe02b2fb2aeb6dbcd9707fa786f

Use isset, not array_key_exists

Apparently it's faster? Bloody php.

Change-Id: I76a483f089a65b661215e8673f7458f1e6d9131e