From 859deba551b5e6850fb6331084493a402cecce45 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Mon, 05 May 2014 11:19:31 -0400 Subject: [PATCH] Integrate admin menu into user menu and add user menu extension --- src/main/java/com/gitblit/wicket/PageRegistration.java | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/PageRegistration.java b/src/main/java/com/gitblit/wicket/PageRegistration.java index ff4a55b..9fd8f87 100644 --- a/src/main/java/com/gitblit/wicket/PageRegistration.java +++ b/src/main/java/com/gitblit/wicket/PageRegistration.java @@ -67,13 +67,13 @@ public final String url; - public OtherPageLink(String translationKey, String url) { - super(translationKey, null); + public OtherPageLink(String keyOrText, String url) { + super(keyOrText, null); this.url = url; } - public OtherPageLink(String translationKey, String url, boolean hiddenPhone) { - super(translationKey, null, null, hiddenPhone); + public OtherPageLink(String keyOrText, String url, boolean hiddenPhone) { + super(keyOrText, null, null, hiddenPhone); this.url = url; } } @@ -90,8 +90,8 @@ public final List<MenuItem> menuItems; - public DropDownMenuRegistration(String translationKey, Class<? extends WebPage> pageClass) { - super(translationKey, pageClass); + public DropDownMenuRegistration(String keyOrText, Class<? extends WebPage> pageClass) { + super(keyOrText, pageClass); menuItems = new ArrayList<MenuItem>(); } } -- Gitblit v1.9.1