function views_plugin_pager_mini::option_definition

Overrides views_plugin_pager_full::option_definition().

Overrides the full pager options form by deleting unused settings.

Overrides views_plugin_pager_full::option_definition

File

core/modules/views/plugins/views_plugin_pager_mini.inc, line 25

Definition of views_plugin_pager_mini.

Class

views_plugin_pager_mini

The plugin to handle mini pager.

Code

function option_definition() {
  $options = parent::option_definition();

  // Intentionally setting $options['quantity'] to NULL here instead of using
  // unset(), otherwise it throws "undefined index" notices.
  $options['quantity'] = NULL;
  unset($options['tags']['first']);
  unset($options['tags']['last']);
  $options['tags']['previous']['default'] = '‹‹';
  $options['tags']['next']['default'] = '››';

  return $options;
}