// This file provides the default namespaces for the Jive JavaScript Library
var HOSTURL = "/"
var AJAXPATH = "";
if(typeof(jive) == "undefined"){
var jive = new Object();
jive.gui = new Object();
jive.model = new Object();
jive.ext = new Object();
jive.ext.y = new Object();
jive.ext.x = new Object();
jive.xml = new Object();
jive.rte = new Object();
jive.rte.macros = new Array();
}
if(typeof(console) == "undefined"){
/*
var win = window.open("",name,"width=250,height=700,scrollbars=1,resize=1");
win.document.write("History" +
"" +
"");
win.document.write("");
win.document.close();
var arrayHolder = win.document.createElement('DIV');
win.document.body.appendChild(arrayHolder);
var arrayList = win.document.createElement('OL');
arrayHolder.appendChild(arrayList);
var log = win.document.createElement('DIV');
win.document.body.appendChild(log);
console = new Object();
console.log = function(str){ log.appendChild(win.document.createTextNode(str)); log.appendChild(win.document.createElement('BR'));};
*/
console = new Object();
console.log = function(str){ };
}
if(typeof(console.debug) != "function"){
console.debug = console.log;
}