getLatexPath() . $old_code . '.tex', $Object->getLatexPath() . $new_code . '.tex'); rename($Object->getPdfPath() . $old_code . '.pdf', $Object->getPdfPath() . $new_code . '.pdf'); } //~ function removeFile(Object $Object) //~ {} }