<?php
// $Id: redirect.tmpl 7828 2011-01-13 13:57:59Z vargenau $
/* 
 * Redirect output.
 */
echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n";
?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=<?php echo CHARSET?>" />
<meta name="robots" content="noindex, nofollow" />
<meta name="generator" content="PhpWiki" />
<meta name="PHPWIKI_VERSION" content="<?php echo PHPWIKI_VERSION?>" />
<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>
