docs: function PlatformMunger(platform, project_dir, platformJson, pluginInfoProvider) {
      this.platform = platform;
      this.project_dir = project_dir;
      this.config_keeper = new ConfigKeeper(project_dir);
      this.platformJson = platformJson;
      this.pluginInfoProvider = pluginInfoProvider;
  }