# 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 @@

- ISMI + ISMI Lab

Islamic Scientific Manuscripts Initiative

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 @@

- ISMI + ISMI Lab

Islamic Scientific Manuscripts Initiative

@@ -201,16 +201,17 @@ Biographies - Image Server - - + Dynamic Page Editor - Definition Editor - Admin