original_string: public function getPaginationHTML()
      {
          if ($this->pagination->haveToPaginate()) {
              $view = new TwitterBootstrap3View();
              $me = $this;
              $result = $view->render(
                  $this->pagination,
                  function ($page) use ($me) {
                      $list = $me->getItemListObject();
                      $result = (string) $me->getBaseURL();
                      $result .= strpos($result, '?') === false ? '?' : '&';
                      $result .= ltrim($list->getQueryPaginationPageParameter(), '&') . '=' . $page;
  
                      return $result;
                  },
                  [
                      'prev_message' => tc('Pagination', '&larr; Previous'),
                      'next_message' => tc('Pagination', 'Next &rarr;'),
                      'active_suffix' => '<span class="sr-only">' . tc('Pagination', '(current)') . '</span>',
                  ]
              );
          } else {
              $result = '';
          }
  
          return $result;
      }
code: public function getPaginationHTML()
      {
          if ($this->pagination->haveToPaginate()) {
              $view = new TwitterBootstrap3View();
              $me = $this;
              $result = $view->render(
                  $this->pagination,
                  function ($page) use ($me) {
                      $list = $me->getItemListObject();
                      $result = (string) $me->getBaseURL();
                      $result .= strpos($result, '?') === false ? '?' : '&';
                      $result .= ltrim($list->getQueryPaginationPageParameter(), '&') . '=' . $page;
  
                      return $result;
                  },
                  [
                      'prev_message' => tc('Pagination', '&larr; Previous'),
                      'next_message' => tc('Pagination', 'Next &rarr;'),
                      'active_suffix' => '<span class="sr-only">' . tc('Pagination', '(current)') . '</span>',
                  ]
              );
          } else {
              $result = '';
          }
  
          return $result;
      }
code_tokens: public function getPaginationHTML ( ) { if ( $ this -> pagination -> haveToPaginate ( ) ) { $ view = new TwitterBootstrap3View ( ) ; $ me = $ this ; $ result = $ view -> render ( $ this -> pagination , function ( $ page ) use ( $ me ) { $ list = $ me -> getItemListObject ( ) ; $ result = ( string ) $ me -> getBaseURL ( ) ; $ result .= strpos ( $ result , '?' ) === false ? '?' : '&' ; $ result .= ltrim ( $ list -> getQueryPaginationPageParameter ( ) , '&' ) . '=' . $ page ; return $ result ; } , [ 'prev_message' => tc ( 'Pagination' , '&larr; Previous' ) , 'next_message' => tc ( 'Pagination' , 'Next &rarr;' ) , 'active_suffix' => '<span class="sr-only">' . tc ( 'Pagination' , '(current)' ) . '</span>' , ] ) ; } else { $ result = '' ; } return $ result ; }
docstring: Builds the HTML to be used to control the pagination.
  
  @return string
docstring_tokens: Builds the HTML to be used to control the pagination .