60   }

    60   }

    61 }

    61 }

    62 

    62 

    63 // dummy tinyMCE object

    63 // dummy tinyMCE object

    64 var tinyMCE = new Object();

    64 var tinyMCE = new Object();

    65 

    70 

    66 // Obsolete JSON kill switch

    71 // Obsolete JSON kill switch

    67 function disableJSONExts() { };

    72 function disableJSONExts() { };

    68 

    73 

    69 is_Safari = checkIt('safari') ? true : false;

    74 is_Safari = checkIt('safari') ? true : false;

   249     }

   254     }

   250   }

   255   }

   251 }

   256 }

   252 

   257 

   253 var head = document.getElementsByTagName('head')[0];

   258 var head = document.getElementsByTagName('head')[0];

   255 {

   260 {

   256   var script = document.createElement('script');

   261   var script = document.createElement('script');

   257   script.type="text/javascript";

   262   script.type="text/javascript";

   258   script.src=scriptPath+"/includes/clientside/tinymce/tiny_mce.js";

   263   script.src=scriptPath+"/includes/clientside/tinymce/tiny_mce.js";

   259   head.appendChild(script);

   264   head.appendChild(script);