original_string: public function get_imageinfo(stored_file $file) {
          if (!$this->is_image_from_storedfile($file)) {
              return false;
          }
  
          // Whilst get_imageinfo_from_path can use remote paths, it must download the entire file first.
          // It is more efficient to use a local file when possible.
          return $this->get_imageinfo_from_path($this->get_local_path_from_storedfile($file, true));
      }
code: public function get_imageinfo(stored_file $file) {
          if (!$this->is_image_from_storedfile($file)) {
              return false;
          }
  
          // Whilst get_imageinfo_from_path can use remote paths, it must download the entire file first.
          // It is more efficient to use a local file when possible.
          return $this->get_imageinfo_from_path($this->get_local_path_from_storedfile($file, true));
      }
code_tokens: public function get_imageinfo ( stored_file $ file ) { if ( ! $ this -> is_image_from_storedfile ( $ file ) ) { return false ; } // Whilst get_imageinfo_from_path can use remote paths, it must download the entire file first. // It is more efficient to use a local file when possible. return $ this -> get_imageinfo_from_path ( $ this -> get_local_path_from_storedfile ( $ file , true ) ) ; }
docstring: Returns information about image.
  Information is determined from the file content
  
  @param stored_file $file The file to inspect
  @return mixed array with width, height and mimetype; false if not an image
docstring_tokens: Returns information about image . Information is determined from the file content