refresh

Does anyone know a way to tell if the current window has been refreshed using PHP?

Edit: I ended up using a JavaScript cookie and doing a window.location.href if the cookie was set ...