docs: function encodeFileToJson(file) {
      var filePath = file.getPath();
      if (!filePath) {
          return undefined;
      }
  
      return {
          path: filePath,
          mtime: file.getMTime(),
          type: file.getType()
      };
  }