Add repository and pluginRepository (for the license plugin)
API change in EditorProvider