Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsFunctions  633ab9372ad5034b5aca3f633902176ec1b8e173

add mw_json_encode and mw_json_decode functions (v 3.3.3)

Change-Id: I2e73a93ddb9d31a241dc3822bee571e4e59a8562