code: function closeFullEditor(file) {
          DeprecationWarning.deprecationWarning("Use CommandManager.execute(Commands.FILE_CLOSE, {File: file} instead of DocumentManager.closeFullEditor()", true);
          CommandManager.execute(Commands.FILE_CLOSE, {File: file});
      }
docs: closes the specified file file
  @deprecated use CommandManager.execute(Commands.FILE_CLOSE, {File: file}) instead
  @param {!File} file - the file to close