original_string: public function removeZip(Zip $zip): bool {
  
          $archive_key = array_search($zip, $this->zip_archives, true);
          if ( $archive_key === false ) {
              throw new ZipException("Archive not found");
          }
  
          unset($this->zip_archives[$archive_key]);
          return true;
  
      }
code: public function removeZip(Zip $zip): bool {
  
          $archive_key = array_search($zip, $this->zip_archives, true);
          if ( $archive_key === false ) {
              throw new ZipException("Archive not found");
          }
  
          unset($this->zip_archives[$archive_key]);
          return true;
  
      }
code_tokens: public function removeZip ( Zip $ zip ) : bool { $ archive_key = array_search ( $ zip , $ this -> zip_archives , true ) ; if ( $ archive_key === false ) { throw new ZipException ( "Archive not found" ) ; } unset ( $ this -> zip_archives [ $ archive_key ] ) ; return true ; }
docstring: Remove a Zip object from manager
  
  @param Zip $zip
  
  @return bool
  @throws ZipException
docstring_tokens: Remove a Zip object from manager