note 58362 deleted from reserved.variables by felipe

Note Submitter: lorenpr at gmail dot com 

----

Here's a simple function that has proven reliable for me in checking if a user has refreshed the current page on a website.

function pageRefreshed()
{
  if($_SERVER['HTTP_CACHE_CONTROL'] == 'max-age=0') 
     return true;

   return false;
}