themes/default/templates/redirect.tmpl

   1 <?php
   2 /*
   3  * Redirect output.
   4  */
   5 echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n";
   6 ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   7   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   8 <html xmlns="http://www.w3.org/1999/xhtml">
   9 <head>
  10 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
  11 <meta name="robots" content="noindex, nofollow" />
  12 <meta name="generator" content="PhpWiki" />
  13 <meta name="PHPWIKI_VERSION" content="<?php echo PHPWIKI_VERSION?>" />
  14 <base href="<?php echo PHPWIKI_BASE_URL?>" />
  15 <?php echo $WikiTheme->getCSS() ?>
  16 <title><?php echo WIKI_NAME . ' - ' . _("Redirect")?></title>
  17
  18 <!-- Sneaky tricks to try to get browser to "redirect" -->
  19 <meta http-equiv="Refresh" content="2;url=<?php echo $REDIRECT_URL?>"/>
  20 <script type="text/javascript"><!--
  21   function redirect(url) {
  22     if (typeof location.replace == 'function')
  23       location.replace(url);
  24     else if (typeof location.assign == 'function')
  25       location.assign(url);
  26     else if (self.location.href)
  27       self.location.href = url;
  28     else
  29       window.location = url;
  30   }
  31 --></script>
  32 </head>
  33 <body>
  34
  35 <script type="text/javascript"><!--
  36 redirect("<?php echo new RawXML(addslashes($REDIRECT_URL))?>");
  37 --></script>
  38
  39 <h1><?php echo _("Redirect")?></h1>
  40 <p class="redirect-message">
  41   <?php echo fmt("Your browser should have redirected you to %s.",
  42           HTML::a(array('href' => $REDIRECT_URL), $REDIRECT_URL)) ?>
  43 </p>
  44 </body>
  45 </html>