That's not a good script. When you need to refresh a page you'd want to
control if the page is refreshed from cache (ie redrawn without a server
round-trip) or new data is pulled from the server - using history doesn't
give you this control.
To pull new data from the server
<a href="javascript:;" onclick="location.reload(true); return false">Refresh
from server</a>
To refresh without a server round-trip
<a href="javascript:;" onclick="location.reload(); return false">Refresh
from client</a>