/**
* DevExtreme (viz/utils.d.ts)
* Version: 20.2.3 (build 20316-1558)
* Build date: Wed Nov 11 2020
*
* Copyright (c) 2012 - 2020 Developer Express Inc. ALL RIGHTS RESERVED
* Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
*/


/**
 * The method to be called every time the active entry in the browser history is modified without reloading the current page.
 */
export function refreshPaths(): void;