From dfc4ece4083bbbb98f55291d05e7d2b1513464b7 Mon Sep 17 00:00:00 2001 From: Thomas Pummer <dev@nullpointer.at> Date: Fri, 22 Feb 2013 11:10:11 -0500 Subject: [PATCH] the display-name in web.xml now shows the actual version of Gitblit --- src/com/gitblit/wicket/PageRegistration.java | 18 ++++++++++++++++++ 1 files changed, 18 insertions(+), 0 deletions(-) diff --git a/src/com/gitblit/wicket/PageRegistration.java b/src/com/gitblit/wicket/PageRegistration.java index fe76a85..e8eeaba 100644 --- a/src/com/gitblit/wicket/PageRegistration.java +++ b/src/com/gitblit/wicket/PageRegistration.java @@ -49,6 +49,24 @@ } /** + * Represents a page link to a non-Wicket page. Might be external. + * + * @author James Moger + * + */ + public static class OtherPageLink extends PageRegistration { + + private static final long serialVersionUID = 1L; + + public final String url; + + public OtherPageLink(String translationKey, String url) { + super(translationKey, null); + this.url = url; + } + } + + /** * Represents a DropDownMenu for the topbar * * @author James Moger -- Gitblit v1.9.1