# HG changeset patch # User casties # Date 1443628337 0 # Node ID 8efabe84b7ea67ba9b3c66465d7799f1f18a3bcd # Parent 6759030ef45b8a9fe52903f699a8e19447d539ef restricted page editor, definition editor and admin menus to admins. diff -r 6759030ef45b -r 8efabe84b7ea src/main/webapp/public/header.jsp --- a/src/main/webapp/public/header.jsp Thu Jul 16 09:52:15 2015 +0000 +++ b/src/main/webapp/public/header.jsp Wed Sep 30 15:52:17 2015 +0000 @@ -16,7 +16,7 @@
diff -r 6759030ef45b -r 8efabe84b7ea src/main/webapp/templates/main_template.xhtml --- a/src/main/webapp/templates/main_template.xhtml Thu Jul 16 09:52:15 2015 +0000 +++ b/src/main/webapp/templates/main_template.xhtml Wed Sep 30 15:52:17 2015 +0000 @@ -128,7 +128,7 @@ @@ -201,16 +201,17 @@