if( typeof(globals) == 'undefined' )
{
	globals = [];
}
// globals['_GET'] contains values extracted from PHP's $_GET array
globals['_GET'] = {}; // "globals" array created in common.js
globals['_GET']['tree'] = "./";
/***************************
	Content below included  from conf.js by php 
***************************/
//is file