original_string: public function zip($file)
      {
          if (!function_exists('zip_open')) {
              return false;
          }
  
          $zip = zip_open($file);
  
          if (is_resource($zip)) {
              zip_close($zip);
              return true;
          }
  
          return false;
      }
code: public function zip($file)
      {
          if (!function_exists('zip_open')) {
              return false;
          }
  
          $zip = zip_open($file);
  
          if (is_resource($zip)) {
              zip_close($zip);
              return true;
          }
  
          return false;
      }
code_tokens: public function zip ( $ file ) { if ( ! function_exists ( 'zip_open' ) ) { return false ; } $ zip = zip_open ( $ file ) ; if ( is_resource ( $ zip ) ) { zip_close ( $ zip ) ; return true ; } return false ; }
docstring: Whether the file is a ZIP file
  @param string $file
  @return boolean
docstring_tokens: Whether the file is a ZIP file