Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroPortal  193e2cb7e078b2d64bf0c5a6a666a57289cdbf79

Fix JsonEncode/Decode, error detection

* jsonDecode & jsonEncode - recodes 1-based to 0-based
* getRawParameter() - better parameter error detection

Change-Id: I1d7376358fa70805fc9dbb02f535eeb7ef4ec5ed