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

getFileExtension() getFileExtension (   $f ) recupera l'estensione del file Parametri $f il file da esaminare Restituisce string l'estensione del file Da fare: questa va testata documentare Definizione alla linea 548 del file _filesystem.tools.php.