Changes for page Extensions Wiki
Last modified by Vincent Massol on 2017/03/01 17:23
From version 56.2
edited by Denis Gervalle
on 2015/10/28 13:55
on 2015/10/28 13:55
Change comment:
There is no comment for this version
To version 56.1
edited by Denis Gervalle
on 2015/03/13 20:58
on 2015/03/13 20:58
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -47,15 +47,8 @@ 47 47 #if ($result.size() > 0) 48 48 $response.sendRedirect($xwiki.getURL($result.get(0))) 49 49 #else 50 - ## Search aliases in older versions 51 - #set ($xwql = "where doc.object(ExtensionCode.ExtensionVersionClass).id = '$id'") 52 - #set ($result = $services.query.xwql($xwql).execute()) 53 - #if ($result.size() > 0) 54 - $response.sendRedirect($xwiki.getURL($result.get(0))) 55 - #else 56 - ## Unknown ID, list all extensions 57 - {{include document="Extension.WebHome"/}} 58 - #end 50 + ## Unknown ID, list all extensions 51 + {{include document="Extension.WebHome"/}} 59 59 #end 60 60 #end 61 61 #else
