123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159 |
- <?php namespace Laravel;
- class File {
- /**
- * All of the MIME types understood by the manager.
- *
- * @var array
- */
- private $mimes;
- /**
- * Create a new file manager instance.
- *
- * @param array $mimes
- * @return void
- */
- public function __construct($mimes)
- {
- $this->mimes = $mimes;
- }
- /**
- * Determine if a file exists.
- *
- * @param string $path
- * @return bool
- */
- public function exists($path)
- {
- return file_exists($path);
- }
- /**
- * Get the contents of a file.
- *
- * @param string $path
- * @return string
- */
- public function get($path)
- {
- return file_get_contents($path);
- }
- /**
- * Write to a file.
- *
- * @param string $path
- * @param string $data
- * @return int
- */
- public function put($path, $data)
- {
- return file_put_contents($path, $data, LOCK_EX);
- }
- /**
- * Append to a file.
- *
- * @param string $path
- * @param string $data
- * @return int
- */
- public function append($path, $data)
- {
- return file_put_contents($path, $data, LOCK_EX | FILE_APPEND);
- }
- /**
- * Delete a file.
- *
- * @param string $path
- * @return void
- */
- public function delete($path)
- {
- @unlink($path);
- }
- /**
- * Extract the file extension from a file path.
- *
- * @param string $path
- * @return string
- */
- public function extension($path)
- {
- return pathinfo($path, PATHINFO_EXTENSION);
- }
- /**
- * Get the file type of a given file.
- *
- * @param string $path
- * @return string
- */
- public function type($path)
- {
- return filetype($path);
- }
- /**
- * Get the file size of a given file.
- *
- * @param string $file
- * @return int
- */
- public function size($path)
- {
- return filesize($path);
- }
- /**
- * Get the file's last modification time.
- *
- * @param string $path
- * @return int
- */
- public function modified($path)
- {
- return filemtime($path);
- }
- /**
- * Get a file MIME type by extension.
- *
- * @param string $extension
- * @param string $default
- * @return string
- */
- public function mime($extension, $default = 'application/octet-stream')
- {
- if ( ! array_key_exists($extension, $this->mimes)) return $default;
- return (is_array($this->mimes[$extension])) ? $this->mimes[$extension][0] : $this->mimes[$extension];
- }
- /**
- * Determine if a file is a given type.
- *
- * The Fileinfo PHP extension will be used to determine the MIME type of the file.
- *
- * @param string $extension
- * @param string $path
- * @return bool
- */
- public function is($extension, $path)
- {
- if ( ! array_key_exists($extension, $this->mimes))
- {
- throw new \Exception("File extension [$extension] is unknown. Cannot determine file type.");
- }
- $mime = finfo_file(finfo_open(FILEINFO_MIME_TYPE), $path);
- return (is_array($this->mimes[$extension])) ? in_array($mime, $this->mimes[$extension]) : $mime === $this->mimes[$extension];
- }
- }
|