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