includes/clientside/static/tinymce-init.js
changeset 779 609e35845ec3
parent 588 20484deb89cd
child 784 72df14a56a03
equal deleted inserted replaced
778:57ce13805b6f 779:609e35845ec3
    59 
    59 
    60 // load the script
    60 // load the script
    61 
    61 
    62 if ( !KILL_SWITCH && !DISABLE_MCE )
    62 if ( !KILL_SWITCH && !DISABLE_MCE )
    63 {
    63 {
    64   var uri = scriptPath + '/includes/clientside/tinymce/tiny_mce_gzip.js';
    64   var uri = scriptPath + '/includes/clientside/tinymce/tiny_mce_gzip.js?3211';
    65   var sc = document.createElement('script');
    65   var sc = document.createElement('script');
    66   sc.src = uri;
    66   sc.src = uri;
    67   sc.type = 'text/javascript';
    67   sc.type = 'text/javascript';
    68   var head = document.getElementsByTagName('head')[0];
    68   var head = document.getElementsByTagName('head')[0];
    69   head.appendChild(sc);
    69   head.appendChild(sc);