public/js/editors/tern.js
function(name, file) {
    if (!ternLoaded[name]) {
      $.ajax({
        url: file,
        dataType: 'script',
        success: function(data) {
          ternServer.server.addFile(name, data);
          ternLoaded[name] = true;
        }
      });
    }
  }
function(name, file) {
    if (!ternLoaded[name]) {
      $.ajax({
        url: file,
        dataType: 'script',
        success: function(data) {
          ternServer.server.addFile(name, data);
          ternLoaded[name] = true;
        }
      });
    }
  }
function ( name , file ) { if ( ! ternLoaded [ name ] ) { $ . ajax ( { url : file , dataType : 'script' , success : function ( data ) { ternServer . server . addFile ( name , data ) ; ternLoaded [ name ] = true ; } } ) ; } }
Load the actual js library
Load the actual js library