src/evaluator/extensions.js
function extensionsCommand(shell, args, data, evaluationId) {
  var names = [];
  for (var n in shell.loadedExtensions) {
    names.push(n);
  }

  console.log(names.join('\n'));
}
function extensionsCommand(shell, args, data, evaluationId) {
  var names = [];
  for (var n in shell.loadedExtensions) {
    names.push(n);
  }

  console.log(names.join('\n'));
}
function extensionsCommand ( shell , args , data , evaluationId ) { var names = [ ] ; for ( var n in shell . loadedExtensions ) { names . push ( n ) ; } console . log ( names . join ( '\n' ) ) ; }
Implements the %extensions command, that can be used to list the names of loaded extensions.
Implements the %extensions command that can be used to list the names of loaded extensions .