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

getFileSize() getFileSize (   $f ) restituisce la dimensione di un file Parametri string $f il nome del file da controllare comprensivo di percorso Da fare: questa funzione dovrebbe ritornare false se ci sono dei problemi Definizione alla linea 290 del file _filesystem.tools.php.