/*
    This is the main javascript file which includes all other javascript files.
*/

/**
 * Include a javascript file, writes the script tag in the document header.
 *
 * @param scriptFile The JS file to include.
 */
function IncludeJSFile(file) {
    document.write('\n<script type="text/javascript" src="' + file + '"></script>');
}

// javascript file includes, in order of usage (dependencies if any)
IncludeJSFile('/pan/utils/js/functions.js');    // old, to be removed eventually
IncludeJSFile('/pan/website/js/ajax.js');
IncludeJSFile('/pan/website/js/browser.js');
IncludeJSFile('/pan/website/js/element.js');
IncludeJSFile('/pan/website/js/event.js');
IncludeJSFile('/pan/website/js/util.js');
IncludeJSFile('/pan/website/js/formUtil.js');
IncludeJSFile('/pan/website/js/constant.js');    // should be added last of all