$contents = File::get('path/to/file');
File::put('path/to/file', 'file contents'); File::append('path/to/file', 'appended file content');
File::delete('path/to/file');
Input::upload('picture', 'path/to/pictures', 'filename.ext');
File::extension('picture.png');
if (File::is('jpg', 'path/to/file.jpg')) { }
echo File::mime('gif'); // outputs 'image/gif'
File::cpdir($ต้นทาง, $ปลายทาง);
File::rmdir($directory);