"; echo "Letzte Änderung und Modifizierung " . "der Quelldatei: " . filemtime($destination) . ", " . filectime($destination) . "
"; } else { echo "Fehler beim Kopieren"; } ?>