<?php
/* 
 * Redirect output.
 */
?>
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="robots" content="noindex, nofollow" />
<meta name="generator" content="PhpWiki" />
<base href="<?php echo PHPWIKI_BASE_URL?>" />
<?php echo $WikiTheme->getCSS() ?>
<title><?php echo WIKI_NAME . ' - ' . _("Redirect")?></title>

<!-- Sneaky tricks to try to get browser to "redirect" -->
<meta http-equiv="Refresh" content="2;url=<?php echo $REDIRECT_URL?>"/>
<script type="text/javascript"><!--
  function redirect(url) {
    if (typeof location.replace == 'function')
      location.replace(url);
    else if (typeof location.assign == 'function')
      location.assign(url);
    else if (self.location.href)
      self.location.href = url;
    else
      window.location = url;
  }
--></script>
</head>
<body>

<script type="text/javascript"><!--
redirect("<?php echo new RawXML(addslashes($REDIRECT_URL))?>");
--></script>

<h1><?php echo _("Redirect")?></h1>
<p class="redirect-message">
  <?php echo fmt("Your browser should have redirected you to %s.",
          HTML::a(array('href' => $REDIRECT_URL), $REDIRECT_URL)) ?>
</p>
</body>
</html>
