Webgui: user definable menu implemented

webgui/settings.php

@@ -39,6 +39,15 @@ switch ($submit = form_get_action()) {
         $p[':valstr'] = NULL;
         $p[':valint'] = gpc_get_int($_POST, 'rowspp');
         db_exec_update('settings', $p, $pk);
+        $menu = [];
+        for ($i = 1; $i <= 6; $i++) {
+            $menu[] = gpc_get_uint($_POST, "menu$i", $i);
+        }
+        $p[':sno'] = 3; // user menu
+        $p[':valint'] = NULL;
+        $p[':valstr'] = implode(',', $menu);
+        db_exec_update('settings', $p, $pk);
+        $user->menu = $menu;
         break;
 
     default:
@@ -99,6 +108,18 @@ $maximgy = $pdo->query("SELECT valint FROM settings WHERE userid=0 AND sno=21")-
 <form method="post" action="<?=$g_scriptname?>">
 <h2><?=_('for current user')?></h2>
 <?php
+
+// menu configuration goes here
+$opt_modules = [];
+foreach ($g_modules as $mid => $module) {
+    if ($module['type'] === 'primary') {
+        $opt_modules[$mid] = $module['title'];
+    }
+}
+for ($i = 1; $i <= 6; $i++) {
+    form_create_select("menu$i", sprintf(_('Menu %d'), $i), $opt_modules, $user->menu[$i-1]);
+}
+
 form_create_select('datefmt', _('Date format'), $opt_datefmt, $datefmt);
 ?>
 <div class="mb-3">