fixed #1832 Number of displayed users in user manager is now saved in user_prefs

2026-06-01 20:04:51 +02:00 · 2022-12-19 16:35:46 +01:00
parent 0c5c33ac32
commit 4ea57967cd
3 changed files with 56 additions and 12 deletions
@@ -37,6 +37,7 @@ const str_popin_update_btn = '{'Update'|@translate|escape:javascript}';
 const history_base_url = "{$U_HISTORY}";

 const view_selector = '{$view_selector}';
+const pagination = '{$pagination}';

 months = [
  "{'Jan'|@translate}",