public function setHeader(array $header_cols){
      $this->header = new TableHeader($header_cols);

      $this->updateMaxRowLength($this->header);
   }
public function setHeader(array $header_cols){
      $this->header = new TableHeader($header_cols);

      $this->updateMaxRowLength($this->header);
   }
public function setHeader ( array $ header_cols ) { $ this -> header = new TableHeader ( $ header_cols ) ; $ this -> updateMaxRowLength ( $ this -> header ) ; }
Set the header of the table

@param  array $header_cols columns of the header
@return  void
Set the header of the table