docs: function PluginManager(platform, locations, ideProject) {
      this.platform = platform;
      this.locations = locations;
      this.project = ideProject;
  
      var platformJson = PlatformJson.load(locations.root, platform);
      this.munger = new PlatformMunger(platform, locations.root, platformJson, new PluginInfoProvider());
  }