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

array2file() array2file (   $f,   $a  ) Da fare: documentare Definizione alla linea 847 del file _filesystem.tools.php.