In my web applications, I always use a simple reloadPage function for doing reloads and redirects after processing form inputs and stuff. This way people cannot accidentally or intentionally resubmit with refresh or back.
function reloadPage () {
// called without an arg, it will just reload the page with no GET/POST data
if (func_num_args()) {
$url = func_get_arg(0);
} else {
$url = $_SERVER["PHP_SELF"];
}