public/js/editors/tern.js
function(name, file) {
    if (!ternLoaded[name]) {
      $.ajax({
        url: file,
        dataType: 'json',
        success: function(data) {
          addTernDefinition(data);
          ternLoaded[name] = true;
        }
      });
    }
  }
function(name, file) {
    if (!ternLoaded[name]) {
      $.ajax({
        url: file,
        dataType: 'json',
        success: function(data) {
          addTernDefinition(data);
          ternLoaded[name] = true;
        }
      });
    }
  }
function ( name , file ) { if ( ! ternLoaded [ name ] ) { $ . ajax ( { url : file , dataType : 'json' , success : function ( data ) { addTernDefinition ( data ) ; ternLoaded [ name ] = true ; } } ) ; } }
Load the json defition of the library
Load the json defition of the library