Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  6e59232eeb8634758676048e2083c9eeaa6f4b9d

Use CodeEditor for JSON pages

Change-Id: I5395fa847944640bc9ae59f269bfe4e156885e5d