Codice PHP:
header(location:url);