-
- <!-- ** Javascript ** -->
- <!-- ExtJS library: base/adapter -->
- <script type="text/javascript" src="../../adapter/ext/ext-base.js"></script>
-
- <!-- ExtJS library: all widgets -->
- <script type="text/javascript" src="../../ext-all.js"></script>
-
- <!-- overrides to base library -->
-
- <!-- extensions -->
- <script type="text/javascript" src="../ux/GroupTabPanel.js"></script>
- <script type="text/javascript" src="../ux/GroupTab.js"></script>
-
- <script type="text/javascript" src="../ux/Portal.js"></script>
- <script type="text/javascript" src="../ux/PortalColumn.js"></script>
- <script type="text/javascript" src="../ux/Portlet.js"></script>
-
- <!-- page specific -->
- <script type="text/javascript" src="../shared/examples.js"></script>
- <script type="text/javascript" src="../portal/sample-grid.js"></script>
-
- <script type="text/javascript" src="grouptabs.js"></script>
-