Updated mediawiki/extensions
Project: mediawiki/extensions/ExternalData  df6dc85edeed1fee781301a6376c5c04e5a487af

Added more error display for #get_web_data, plus various syntax fixes.

Change-Id: Ie257a7244863292e62fe49712e16ff2160807240