blob: 874c9fb1f248c0b16ca2aca4d58db5d369362a17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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(">", ">").replace("\"", """)
fun String.urlEncoded(): String = URLEncoder.encode(this, "UTF-8")
fun String.formatToEndWithHtml() =
if (endsWith(".html") || contains(Regex("\\.html#"))) this else "$this.html"
|