- <!-- include everything after the loading indicator -->
- <script type="text/javascript" src="resources/ext-base.js"></script>
- <script type="text/javascript" src="resources/ext-all.js"></script>
- <script type="text/javascript" src="resources/TabCloseMenu.js"></script>
-
- <script type="text/javascript" src="resources/docs.js"></script>
- <script type="text/javascript" src="output/tree.js"></script>