1 package org.jetbrains.dokka 2 3 import java.io.File 4 Filenull5 fun File.appendExtension(extension: String) = if (extension.isEmpty()) this else File(path + "." + extension) 6