diff options
| author | James Moger <james.moger@gitblit.com> | 2014-04-22 16:08:52 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2014-05-05 11:19:31 -0400 |
| commit | 859deba551b5e6850fb6331084493a402cecce45 (patch) | |
| tree | cbeba44c0edc97cb05c68c5123a903014f140302 /src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | |
| parent | 856f3fc2a8365c141d1418d3cfff502be233c104 (diff) | |
| download | gitblit-859deba551b5e6850fb6331084493a402cecce45.tar.gz gitblit-859deba551b5e6850fb6331084493a402cecce45.zip | |
Integrate admin menu into user menu and add user menu extension
Diffstat (limited to 'src/main/java/com/gitblit/wicket/GitBlitWebApp.properties')
| -rw-r--r-- | src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties index 2c83dd6c..d0c2d48c 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties @@ -680,4 +680,7 @@ gb.notifyChangedOpenTickets = send notification for changed open tickets gb.overdue = overdue gb.openMilestones = open milestones gb.closedMilestones = closed milestones -gb.adminMenuItem = admin +gb.administration = administration +gb.plugins = plugins +gb.extensions = extensions + |