private void reportExtensionErrors(ArrayList<String> errorList) {
		if (errorList == null) {
			return;
		}
		StringBuilder buffer = new StringBuilder();
		buffer.append("<html>User-defined extensions failed to parse: ");
		buffer.append("<ul>");
		for (String line : errorList) {
			buffer.append("<li>").append(line).append("</li>");
		}
		buffer.append("</ul>");
		buffer.append("See Program Options - Specification Extensions</HTML>");
		Msg.showError(BasicCompilerSpec.class, null, "Specification Extension Errors",
			buffer.toString());
	}
Report any extensions that have parse errors

@param errorList is the list of extensions (or null)
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ProgramCompilerSpec.java