original_string: private function download()
      {
          header('Content-disposition: attachment; filename="'.$this->filename.'.'.$this->extension.'"');
          header('Content-type: application/octet-stream');
          
          readfile($this->filename.'.'.$this->extension);
      }
code: private function download()
      {
          header('Content-disposition: attachment; filename="'.$this->filename.'.'.$this->extension.'"');
          header('Content-type: application/octet-stream');
          
          readfile($this->filename.'.'.$this->extension);
      }
code_tokens: private function download ( ) { header ( 'Content-disposition: attachment; filename="' . $ this -> filename . '.' . $ this -> extension . '"' ) ; header ( 'Content-type: application/octet-stream' ) ; readfile ( $ this -> filename . '.' . $ this -> extension ) ; }
docstring: Download the dump file
docstring_tokens: Download the dump file