Add new utility to trigger a browser refresh when we reach a page by the browser's history
Useful e.g. for those pages implementing some se…
Show more
Add new utility to trigger a browser refresh when we reach a page by the browser's historyUseful e.g. for those pages implementing some server push interaction, where browser might have 'missed out' events while on another page
Show less
