antoniop
committed
on 24 Oct 18
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 history

Useful e.g. for those pages implementing some server push interaction, where browser might have 'missed out' events while on another page

Show less