Wiki source code of Extensions
Last modified by Simon Urli on 2021/03/17 22:09
Hide last authors
| author | version | line-number | content |
|---|---|---|---|
 |
26.2 | 1 | {{velocity}} |
| 2 | ## Redirect the user on the extension page he was at previously. | ||
| |
26.4 | 3 | #set ($exoExtensionHome = $request.exoExtensionHome) |
| |
26.5 | 4 | #if ("$!exoExtensionHome" == '') |
| |
26.4 | 5 | #set ($exoExtensionHome = $request.getSession().getAttribute("exoExtensionHome")) |
| 6 | #if ("$!exoExtensionHome" == '') | ||
| 7 | #set ($exoExtensionHome = 'ExtensionCode.RecommendedExtensions.WebHome') | ||
| 8 | #end | ||
| |
26.2 | 9 | #end |
| |
26.4 | 10 | {{display reference="$exoExtensionHome"/}} |
| |
26.2 | 11 | {{/velocity}} |
