2013-02-27 19:33:07 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='resourcemanagementportlet'>
|
|
|
|
<!-- Inherit the core Web Toolkit stuff. -->
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
|
2014-06-06 14:58:34 +02:00
|
|
|
<!-- To Comment out -->
|
2016-01-11 18:05:34 +01:00
|
|
|
<!-- <set-property name="user.agent" value="safari,gecko1_8" /> -->
|
2014-06-06 14:58:34 +02:00
|
|
|
|
2013-02-27 19:33:07 +01:00
|
|
|
<!-- Other module inherits -->
|
|
|
|
<inherits name='com.extjs.gxt.ui.GXT' />
|
2015-08-04 15:21:22 +02:00
|
|
|
<inherits name='com.google.gwt.query.Query' />
|
2013-02-27 19:33:07 +01:00
|
|
|
<!-- inherits Software Uplad Widget -->
|
2015-08-04 15:21:22 +02:00
|
|
|
<inherits
|
|
|
|
name='org.gcube.portlets.admin.software_upload_wizard.SoftwareUploadWizard' />
|
2013-02-27 19:33:07 +01:00
|
|
|
<!-- inherits Resource Sweeper Widget -->
|
2013-09-20 12:04:05 +02:00
|
|
|
<inherits name='org.gcube.portlets.admin.resourcesweeper.Resource_sweeper' />
|
2013-02-28 19:52:20 +01:00
|
|
|
|
2015-08-04 15:21:22 +02:00
|
|
|
<!-- inherits IS Health Monitor Widget -->
|
|
|
|
<inherits
|
|
|
|
name='org.gcube.portlets.admin.ishealthmonitor.Resource_ishealth_monitor' />
|
|
|
|
|
2013-02-28 19:52:20 +01:00
|
|
|
<inherits name='org.gcube.resourcemanagement.support.Resource_support' />
|
2013-02-27 19:33:07 +01:00
|
|
|
<entry-point
|
|
|
|
class='org.gcube.portlets.admin.resourcemanagement.client.ResourceManagementPortlet' />
|
|
|
|
<!-- Specify the paths for translatable code -->
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
2015-08-04 15:21:22 +02:00
|
|
|
<add-linker name="xsiframe" />
|
2013-02-27 19:33:07 +01:00
|
|
|
</module>
|