add Admin menu with Users and Groups

diff --git a/apps/workbench/app/views/layouts/application.html.erb b/apps/workbench/app/views/layouts/application.html.erb
index 8e7039c54477384969cf2b66afa1a0d67e715721..b6a26db720cb5b05e093f5e1f6722bb26fa7d993 100644 (file)
--- a/apps/workbench/app/views/layouts/application.html.erb
+++ b/apps/workbench/app/views/layouts/application.html.erb
@@ -60,6 +60,17 @@
                 <li><%= link_to 'Pipeline templates', pipeline_templates_path %></li>
               </ul>
             </li>
+            <% if current_user.is_admin %>
+            <li class="dropdown">
+              <a href="#" class="dropdown-toggle" data-toggle="dropdown">
+                Admin <b class="caret"></b>
+              </a>
+              <ul class="dropdown-menu">
+                <li><%= link_to 'Users', users_path %></li>
+                <li><%= link_to 'Groups', groups_path %></li>
+              </ul>
+            </li>
+            <% end %>
          </ul>
           <% end %>
          <ul class="nav pull-right">