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

fileModifiedTime() fileModifiedTime (   $f ) Da fare: documentare Definizione alla linea 805 del file _filesystem.tools.php.