From e7d7242f04946faac548232e9692f8cf386770ab Mon Sep 17 00:00:00 2001 From: konradSC Date: Wed, 21 Aug 2019 14:55:43 -0400 Subject: [PATCH] Add Mini Paging Controls (#4448) One might be tempted to scoff at such a small set of paging controls, yet that would be a grave mistake. Though small stature they work just as well as their bigger brother whilst also providing their own unique experience to the user. --- app/dialplans/dialplans.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/app/dialplans/dialplans.php b/app/dialplans/dialplans.php index 52b9434429..4763c9255d 100644 --- a/app/dialplans/dialplans.php +++ b/app/dialplans/dialplans.php @@ -160,6 +160,7 @@ if (strlen($app_uuid) > 0 && is_uuid($app_uuid)) { $param = "&app_uuid=".$app_uuid; } $page = $_GET['page']; if (strlen($page) == 0) { $page = 0; $_GET['page'] = 0; } + list($paging_controls_mini, $rows_per_page, $var_3) = paging($num_rows, $param, $rows_per_page, true); list($paging_controls, $rows_per_page, $var_3) = paging($num_rows, $param, $rows_per_page); $offset = $rows_per_page * $page; @@ -235,6 +236,9 @@ echo " "; } echo " "; + if ($paging_controls_mini != '') { + echo " ".$paging_controls_mini."\n"; + } echo " \n"; echo " \n"; echo " \n";