original_string: public function url($page)
      {
          $paginator = $this->getPaginator();
  
          //
          $pageName = $paginator->getPageName();
  
          $query = array_merge(
              $paginator->getQuery(), array($pageName => $page)
          );
  
          return $this->buildUrl(
              $paginator->getPath(), $query, $paginator->fragment()
          );
      }
code: public function url($page)
      {
          $paginator = $this->getPaginator();
  
          //
          $pageName = $paginator->getPageName();
  
          $query = array_merge(
              $paginator->getQuery(), array($pageName => $page)
          );
  
          return $this->buildUrl(
              $paginator->getPath(), $query, $paginator->fragment()
          );
      }
code_tokens: public function url ( $ page ) { $ paginator = $ this -> getPaginator ( ) ; // $ pageName = $ paginator -> getPageName ( ) ; $ query = array_merge ( $ paginator -> getQuery ( ) , array ( $ pageName => $ page ) ) ; return $ this -> buildUrl ( $ paginator -> getPath ( ) , $ query , $ paginator -> fragment ( ) ) ; }
docstring: Resolve the URL for a given page number.
  
  @param  int  $page
  @return string
docstring_tokens: Resolve the URL for a given page number .