docs: public PropertyDocument editPropertyDocument(
  			PropertyDocument propertyDocument, boolean clear, String summary)
  			throws IOException, MediaWikiApiErrorException {
  		String data = JsonSerializer.getJsonString(propertyDocument);
  		return (PropertyDocument) this.wbEditingAction.wbEditEntity(
  				propertyDocument.getEntityId().getId(), null, null, null,
  				data, clear, this.editAsBot, propertyDocument.getRevisionId(),
  				summary);
  	}