Changes for page Extensions
Last modified by Simon Urli on 2021/03/17 22:09
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -1,2 +1,10 @@ 1 -{{include document="ExtensionCode.RecommendedExtensions.WebHome"/}} 2 - 1 +{{velocity}} 2 +## Redirect the user on the extension page he was at previously. 3 +#set ($reference = $request.getSession().getAttribute("exoExtensionHome")) 4 +#if ("$!reference" == '') 5 + #set ($reference = 'ExtensionCode.RecommendedExtensions.WebHome') 6 +#else 7 + #set ($reference = 'ExtensionCode.AllExtensions.WebHome') 8 +#end 9 +{{include reference="$reference"/}} 10 +{{/velocity}}