removed mods directory from the ATutor codebase

[atutor.git] / mods / wiki / plugins / jump.php

diff --git a/mods/wiki/plugins/jump.php b/mods/wiki/plugins/jump.php
deleted file mode 100644 (file)
index 574578b..0000000
--- a/mods/wiki/plugins/jump.php
+++ /dev/null
@@ -1,106 +0,0 @@
-<?php
-
-/*
-   This plugin adds a page redirection feature. ewiki instantly switches
-   to another page, when one of the following markup snippets is found:
-
-      [jump:AnotherPage]
-      [goto:SwitchToHere]
-   or
-      [jump:WardsWiki:WelcomeVisitors]
-      [jump:Google:ErfurtWiki:MarioSalzer]
-      [jump:http://www.heise.de/]
-
-   One can also use [redirect:] or [location:]. Page switching only occours
-   with the "view" action. Sending a HTTP redirect is the default, but in
-   place redirects are also possible.
-   There exists a loop protection, which limits redirects to 5 (for browsers
-   that cannot detect this themselfes).
-*/
-
-#-- config 
-define("EWIKI_JUMP_HTTP", 1);       #-- issue a HTTP redirect, or jump in place
-define("EWIKI_UP_REDIRECT_COUNT", "redir");
-
-#-- text
-$ewiki_t["en"]["REDIRECTION_LOOP"] = "<h2>Redirection loop detected<h2>\nOperation stopped, because we're traped in an infinite redirection loop with page \$id.";
-
-#-- plugin glue 
-$ewiki_plugins["handler"][] = "ewiki_handler_jump";
-$ewiki_config["interwiki"]["jump"] = "";
-$ewiki_config["interwiki"]["goto"] = "";
-
-
-function ewiki_handler_jump(&$id, &$data, &$action) {
-
-   global $ewiki_config;
-
-   static $redirect_count = 5;
-   $jump_markup = array("jump", "goto", "redirect", "location");
-
-   #-- we only care about "view" action
-   if ($action != "view") {
-      return;
-   }
-
-   #-- escape from loop
-   if (isset($_REQUEST[EWIKI_UP_REDIRECT_COUNT])) {
-      $redirect_count = $_REQUEST[EWIKI_UP_REDIRECT_COUNT];
-   }
-   if ($redirect_count-- <= 0) {
-      return(ewiki_t("REDIRECTION_LOOP", array("id"=>$id)));
-   }
-
-   #-- search for [jump:...]
-   if ($links = explode("\n", trim($data["refs"])))
-   foreach ($links as $link) {
-
-      if (strlen($link) && strpos($link, ":")
-      && in_array(strtolower(strtok($link, ":")), $jump_markup)
-      && ($dest = trim(strtok("\n"))) )
-      {
-         #-- URL
-         $url = "";
-         if (strpos($dest, "://")) {
-            $url = $dest;
-         }
-         #-- InterWiki:Link
-         else {
-            $url = ewiki_interwiki($dest, $uu, $uu2);
-         }
-
-         #-- Location:
-         if (EWIKI_JUMP_HTTP && EWIKI_HTTP_HEADERS && !headers_sent()) {
-
-            #-- simple PageLink
-            if (empty($url)) {
-               $url = ewiki_script("", $dest,
-                  array(EWIKI_UP_REDIRECT_COUNT=>$redirect_count),
-                  0, 0, ewiki_script_url()
-               );
-               $url .= defined("SID") ? EWIKI_ADDPARAMDELIM.SID : "";
-            }
-            header("Location: $url");
-            die();
-
-         }
-         #-- show page as usual, what will reveal dest URL
-         elseif ($url) {
-            return("");
-            # the rendering kernel will just show up the [jump:]!
-            # (without the jump: of course)
-         }
-         #-- it's simply about another WikiPage
-         else {
-
-            #-- we'll just restart ewiki
-            $data = array();
-            $id = $dest;
-            return(ewiki_page("view/".$id));
-         }
-      }
-   }#-search
-}
-
-
-?>
\ No newline at end of file