urify

fun urify(filestr: String): String(source)
fun urify(filestr: String, basedir: URI): String(source)
fun urify(userFilestr: String, basedir: String?): String(source)