Changes for page Extensions Wiki
Last modified by Vincent Massol on 2017/03/01 17:23
From version 51.1
edited by Vincent Massol
on 2011/11/18 12:16
on 2011/11/18 12:16
Change comment:
There is no comment for this version
To version 50.1
edited by Vincent Massol
on 2011/11/18 11:47
on 2011/11/18 11:47
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -6,20 +6,16 @@ 6 6 ## 7 7 #if ("$!request.id" != "") 8 8 ## Locate the extension by its id 9 - ## Special case, if the id is the one of the top level POM, then redirect to the main wiki 10 - #if ($request.id == "org.xwiki.commons:xwiki-commons") 11 - $response.sendRedirect($xwiki.getURL("xwiki:Main.WebHome")) 9 + #set ($xwql = "where doc.object(ExtensionCode.ExtensionClass).id = '$request.id'") 10 + #set ($result = $services.query.xwql($xwql).execute()) 11 + #if ($result.size() > 0) 12 + $response.sendRedirect($xwiki.getURL($result.get(0))) 12 12 #else 13 - #set ($xwql = "where doc.object(ExtensionCode.ExtensionClass).id = '$request.id'") 14 - #set ($result = $services.query.xwql($xwql).execute()) 15 - #if ($result.size() > 0) 16 - $response.sendRedirect($xwiki.getURL($result.get(0))) 17 - #else 18 - ## Unknown ID, list all extensions 19 - {{include document="Extension.WebHome"/}} 20 - #end 14 + ## Unknown ID, list all extensions 15 + {{include document="Extension.WebHome"/}} 21 21 #end 22 22 #else 23 23 {{include document="Extension.WebHome"/}} 24 24 #end 25 25 {{/velocity}} 21 +
