Changes for page Extensions Wiki
Last modified by Vincent Massol on 2017/03/01 17:23
From version 54.1
edited by Denis Gervalle
on 2014/07/25 21:08
on 2014/07/25 21:08
Change comment:
There is no comment for this version
To 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
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (0 modified, 1 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -31,7 +31,7 @@ 31 31 #end 32 32 #end 33 33 ## If we are targetting Javadoc, redirect to it through our nexus, else determine the id of the module 34 - #if ($jdoc) 34 + #if ($jdoc != "") 35 35 #set ($gid = $stringtool.replace($gid, ".", "/")) 36 36 $response.sendRedirect("http://nexus.xwiki.org/nexus/service/local/repositories/releases/archive/${gid}/${artid}/${version}/${artid}-${version}-javadoc.jar/!/${jdoc}") 37 37 #else ... ... @@ -47,8 +47,15 @@ 47 47 #if ($result.size() > 0) 48 48 $response.sendRedirect($xwiki.getURL($result.get(0))) 49 49 #else 50 - ## Unknown ID, list all extensions 51 - {{include document="Extension.WebHome"/}} 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 52 52 #end 53 53 #end 54 54 #else
- ExtensionCode.ExtensionCompatibilityClass[0]
-
