Updated mediawiki/extensions
Project: mediawiki/extensions/JsonConfig  52f4c3e932dc690e27ea1bb8857c9059b47fd340

Consistency tweaks

* json -> JSON
* article -> page

Change-Id: I4895200bc41d09ea049305af23d81bc44104d05f