Set the current page.
$number: If provided, the page number will be set to this. If NOT provided, the page number will be set from the global page array.
Overrides PagerPluginBase::set_current_page
function set_current_page($number = NULL) {
if (isset($number)) {
$this->current_page = max(0, $number);
return;
}
// If the current page number was not specified, extract it from the global
// page array.
global $pager_page_array;
if (empty($pager_page_array)) {
$pager_page_array = array();
}
// Fill in missing values in the global page array, in case the global page
// array hasn't been initialized before.
$page = drupal_container()
->get('request')->query
->get('page');
$page = isset($page) ? explode(',', $page) : array();
for ($i = 0; $i <= $this->options['id'] || $i < count($pager_page_array); $i++) {
$pager_page_array[$i] = empty($page[$i]) ? 0 : $page[$i];
}
// Don't allow the number to be less than zero.
$this->current_page = max(0, intval($pager_page_array[$this->options['id']]));
}