original_string: protected function print_category_info($category) {
          $formatoptions = new \stdClass();
          $formatoptions->noclean = true;
          $formatoptions->overflowdiv = true;
          echo \html_writer::start_div('boxaligncenter categoryinfo');
          if (isset($this->maxinfolength)) {
              echo shorten_text(format_text($category->info, $category->infoformat, $formatoptions, $this->course->id),
                                       $this->maxinfolength);
          } else {
              echo format_text($category->info, $category->infoformat, $formatoptions, $this->course->id);
          }
          echo \html_writer::end_div() . "\n";
      }
code: protected function print_category_info($category) {
          $formatoptions = new \stdClass();
          $formatoptions->noclean = true;
          $formatoptions->overflowdiv = true;
          echo \html_writer::start_div('boxaligncenter categoryinfo');
          if (isset($this->maxinfolength)) {
              echo shorten_text(format_text($category->info, $category->infoformat, $formatoptions, $this->course->id),
                                       $this->maxinfolength);
          } else {
              echo format_text($category->info, $category->infoformat, $formatoptions, $this->course->id);
          }
          echo \html_writer::end_div() . "\n";
      }
code_tokens: protected function print_category_info ( $ category ) { $ formatoptions = new \ stdClass ( ) ; $ formatoptions -> noclean = true ; $ formatoptions -> overflowdiv = true ; echo \ html_writer :: start_div ( 'boxaligncenter categoryinfo' ) ; if ( isset ( $ this -> maxinfolength ) ) { echo shorten_text ( format_text ( $ category -> info , $ category -> infoformat , $ formatoptions , $ this -> course -> id ) , $ this -> maxinfolength ) ; } else { echo format_text ( $ category -> info , $ category -> infoformat , $ formatoptions , $ this -> course -> id ) ; } echo \ html_writer :: end_div ( ) . "\n" ; }
docstring: Print the category description
  @param stdClass $category the category information form the database.
docstring_tokens: Print the category description