/**
* Set the current page.
*
* @param $number
* If provided, the page number will be set to this. If NOT provided,
* the page number will be set from the pager manager service.
*/ publicfunctionsetCurrentPage($number = NULL){ if(isset($number)){
publicfunctionsetOffset($offset){ // Check whether the element is pre rendered. At that point, the cache keys
// cannot longer be manipulated.
if(empty($this->element['#pre_rendered'])){ $this->element['#cache']['keys'][] = 'offset:' . $offset; }
$this->offset = $offset;
// If the pager is already initialized, pass it through to the pager.
if(!empty($this->pager)){ $this->pager->setOffset($offset); } }
/**
* Determines if the view uses a pager.
*
* @return bool
* TRUE if the view uses a pager, FALSE otherwise.
*/ publicfunctionusePager(){ if(!empty($this->pager)){