Wiki source code of Extensions
Version 27.1 by Ludovic Dubost on 2020/11/16 12:54
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | {{velocity}} | ||
2 | ## Redirect the user on the extension page he was at previously. | ||
3 | #set ($exoExtensionHome = $request.exoExtensionHome) | ||
4 | #if ("$!exoExtensionHome" == '') | ||
5 | #set ($exoExtensionHome = $request.getSession().getAttribute("exoExtensionHome")) | ||
6 | #if ("$!exoExtensionHome" == '') | ||
7 | #set ($exoExtensionHome = 'ExtensionCode.RecommendedExtensions.WebHome') | ||
8 | #end | ||
9 | #end | ||
10 | $request.getSession().getAttribute("exoExtensionHome") | ||
11 | {{display reference="$exoExtensionHome"/}} | ||
12 | {{/velocity}} |