Changes for page Extensions Wiki

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -6,16 +6,20 @@
6	6	##
7	7	#if ("$!request.id" != "")
8	8	## Locate the extension by its id
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)))
	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"))
13	13	#else
14		- ## Unknown ID, list all extensions
15		- {{include document="Extension.WebHome"/}}
	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
16	16	#end
17	17	#else
18	18	{{include document="Extension.WebHome"/}}
19	19	#end
20	20	{{/velocity}}
21		-