Is there a pear package for the dev header files?

Is there a reason this wouldn't work? header('location: /user?destination='.$request_url);