Updated mediawiki/extensions
Project: mediawiki/extensions/JsonConfig  402516ed9969492ada5ae1406047c688af960710

More bug fixes and features

* Handle more types of data modifications and reset cache
* Handle remote notification on change
* Prevent moving pages to non-json namespaces

Change-Id: Ib190e174aa8c481311ad825b29ebfbc79d69d204