original_string: public function display_page_numbers() {
          $html = '';
          $topcount = count($this->items);
          $this->pagecount = (integer) ceil(($topcount + $this->offset)/ QUESTION_PAGE_LENGTH );
          if (!empty($this->page) && ($this->paged)) {
              $html = "<div class=\"paging\">".get_string('page').":\n";
              foreach (range(1,$this->pagecount) as $currentpage) {
                  if ($this->page == $currentpage) {
                      $html .= " $currentpage \n";
                  }
                  else {
                      $html .= "<a href=\"".$this->pageurl->out(true, array($this->pageparamname => $currentpage))."\">";
                      $html .= " $currentpage </a>\n";
                  }
              }
              $html .= "</div>";
          }
          return $html;
      }
code: public function display_page_numbers() {
          $html = '';
          $topcount = count($this->items);
          $this->pagecount = (integer) ceil(($topcount + $this->offset)/ QUESTION_PAGE_LENGTH );
          if (!empty($this->page) && ($this->paged)) {
              $html = "<div class=\"paging\">".get_string('page').":\n";
              foreach (range(1,$this->pagecount) as $currentpage) {
                  if ($this->page == $currentpage) {
                      $html .= " $currentpage \n";
                  }
                  else {
                      $html .= "<a href=\"".$this->pageurl->out(true, array($this->pageparamname => $currentpage))."\">";
                      $html .= " $currentpage </a>\n";
                  }
              }
              $html .= "</div>";
          }
          return $html;
      }
code_tokens: public function display_page_numbers ( ) { $ html = '' ; $ topcount = count ( $ this -> items ) ; $ this -> pagecount = ( integer ) ceil ( ( $ topcount + $ this -> offset ) / QUESTION_PAGE_LENGTH ) ; if ( ! empty ( $ this -> page ) && ( $ this -> paged ) ) { $ html = "<div class=\"paging\">" . get_string ( 'page' ) . ":\n" ; foreach ( range ( 1 , $ this -> pagecount ) as $ currentpage ) { if ( $ this -> page == $ currentpage ) { $ html .= " $currentpage \n" ; } else { $ html .= "<a href=\"" . $ this -> pageurl -> out ( true , array ( $ this -> pageparamname => $ currentpage ) ) . "\">" ; $ html .= " $currentpage </a>\n" ; } } $ html .= "</div>" ; } return $ html ; }
docstring: display list of page numbers for navigation
docstring_tokens: display list of page numbers for navigation