/* this file should be loaded at the beginning of the <head> section (see portal_normal.vm) */

if (window.location.search == '?pageloadtime') {
    var page_load_start = new Date().getTime();
    var pageLoadTime = function() {    
        var page_load_time = new Date().getTime() - page_load_start;
        jQuery('#content-wrapper')
            .prepend('<div id="page-load-time">' + page_load_time + 'ms</div>');
    }
    window.onload = pageLoadTime;
}