function get_pager_size_dashboard()
{
$pager_size = get_option("simple_history_pager_size_dashboard", 5);
/**
* Filter the pager size setting
*
* @since 2.12
*
* @param int $pager_size
*/
$pager_size = apply_filters("simple_history/pager_size_dashboard", $pager_size);
return $pager_size;
}