String (@NotNull Project project) { final String doctype = getProjectResources(project).myDefaultHtmlDoctype; if (XmlUtil.XHTML_URI.equals(doctype)) { return XmlUtil.XHTML4_SCHEMA_LOCATION; } else if (HTML5_DOCTYPE_ELEMENT.equals(doctype)) { return Html5SchemaProvider.getHtml5SchemaLocation(); } else { return doctype; } }