function historyDeleted() {
  waitForAppUpgrade().then(function() {
    /** @type {HistoryAppElement} */ ($('history-app')).historyDeleted();
  });
}
/**
 * Called when the history is deleted by someone else.
 */
Called when the history is deleted by someone else.
Called when the history is deleted by someone else .
function historyDeleted() {
  waitForAppUpgrade().then(function() {
     ($('history-app')).historyDeleted();
  });
}
function historyDeleted ( ) { waitForAppUpgrade ( ) . then ( function ( ) { ( $ ( 'history-app' ) ) . historyDeleted ( ) ; } ) ; }
Called when the history is deleted by someone else.
Called when the history is deleted by someone else .
/** @type {HistoryAppElement} */