editor extensions amends
Update Karma versions
Merge branch 'editor-jsonschema' into develop