appendToFile array2file checkFile checkFolder closeFile copyFile deleteDir deleteFile emptyDir file2array fileCachedExists fileExists fileGetCachedContents fileModifiedTime findFileExtension findFileType fullPath getDirList getDirSize getFileExtension getFileList getFileSize getFilteredFileList getRecursiveDirList getSize globRecursive moveFile openFile READ_FILE_AS_ARRAY READ_FILE_AS_STRING readFromFile readStringFromFile recursiveDelete shortPath WRITE_FILE_APPEND WRITE_FILE_OVERWRITE writeToFile

copyFile() copyFile (   $f1,   $f2  ) Da fare: documentare Definizione alla linea 574 del file _filesystem.tools.php.