original_string: public function download_buttons() {
          global $OUTPUT;
  
          if ($this->is_downloadable() && !$this->is_downloading()) {
              return $OUTPUT->download_dataformat_selector(get_string('downloadas', 'table'),
                      $this->baseurl->out_omit_querystring(), 'download', $this->baseurl->params());
          } else {
              return '';
          }
      }
code: public function download_buttons() {
          global $OUTPUT;
  
          if ($this->is_downloadable() && !$this->is_downloading()) {
              return $OUTPUT->download_dataformat_selector(get_string('downloadas', 'table'),
                      $this->baseurl->out_omit_querystring(), 'download', $this->baseurl->params());
          } else {
              return '';
          }
      }
code_tokens: public function download_buttons ( ) { global $ OUTPUT ; if ( $ this -> is_downloadable ( ) && ! $ this -> is_downloading ( ) ) { return $ OUTPUT -> download_dataformat_selector ( get_string ( 'downloadas' , 'table' ) , $ this -> baseurl -> out_omit_querystring ( ) , 'download' , $ this -> baseurl -> params ( ) ) ; } else { return '' ; } }
docstring: Get the html for the download buttons
  
  Usually only use internally
docstring_tokens: Get the html for the download buttons