package org.jetbrains.dokka.utilities import java.net.URLEncoder /** * Replaces symbols reserved in HTML with their respective entities. * Replaces & with &, < with < and > with > */ fun String.htmlEscape(): String = replace("&", "&").replace("<", "<").replace(">", ">") fun String.urlEncoded(): String = URLEncoder.encode(this, "UTF-8") fun String.formatToEndWithHtml() = if (endsWith(".html") || contains(Regex("\\.html#"))) this else "$this.html"