header.class.php 376 B

123456789101112131415161718192021
  1. <?php
  2. /**
  3. * Header utility functions.
  4. *
  5. * @license see /license.txt
  6. * @author Laurent Opprecht <laurent@opprecht.info> for the Univesity of Geneva
  7. */
  8. class Header
  9. {
  10. /**
  11. * Redirect the navigator to the specified url.
  12. *
  13. * @param string $url
  14. */
  15. public static function location($url)
  16. {
  17. header("Location: $url");
  18. exit;
  19. }
  20. }