fix lib dropdown separator (#5694)

* fix lib dropdown seperator

* delete indent

frontend/src/pages/my-libs/mylib-repo-menu.js

@@ -104,6 +104,13 @@ class MylibRepoMenu extends React.Component {
     }
 
     operations.push('Divider', 'History Setting', 'Advanced');
+    // Remove adjacent excess 'Divider'
+    for (let i = 0; i < operations.length; i++) {
+      if (operations[i] === 'Divider' && operations[i + 1] === 'Divider') {
+        operations.splice(i, 1);
+        i--;
+      }
+    }
     return operations;
   };