public Map<String, String> getAttributes(Element el, StartElementTree start) {
		return getAttributes(el, start.getAttributes());
	}
Gets a map of the attributes in the html element

@param start the start element
@return the attributes map
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/HtmlConverter.java