removed mods directory from the ATutor codebase

[atutor.git] / mods / wiki / plugins / action / diff_gnu.php

diff --git a/mods/wiki/plugins/action/diff_gnu.php b/mods/wiki/plugins/action/diff_gnu.php
deleted file mode 100644 (file)
index 6a1eeb5..0000000
--- a/mods/wiki/plugins/action/diff_gnu.php
+++ /dev/null
@@ -1,76 +0,0 @@
-<?php
-
- # This diff plugin utilizes the external GNU diff program to show up
- # differences between two versions of a WikiPage.
- # The diff utility is commonly not part of the graphical OS simulators
- # from Redmond, but you could install the Cygwin environment to make
- # it available.
-
-
-
- $ewiki_plugins["action"]["diff"] = "ewiki_page_gnu_diff";
- $ewiki_config["action_links"]["info"]["diff"] = "diff";
-
-
-
- function ewiki_page_gnu_diff($id, &$data, $action) {
-
-    #-- different operation modes of GNU diff:
-    $OPTIONS = " -B -u -U 50 ";
-#   $OPTIONS = " -B ";
-#   $OPTIONS = " -c ";
-#   $OPTIONS = " --side-by-side ";
-
-    #-- fetch old wiki source
-    if (($old_ver = ($new_ver = $data["version"]) - 1) > 0)
-    $data0 = ewiki_db::GET($id, $old_ver);
-
-    $o = ewiki_make_title($id, "Differences between version $new_ver and $old_ver of »{$id}«");
-
-    #-- create temporary files from wikipages
-    $file0 = tempnam(EWIKI_TMP, "ewiki.diff.gnu.");
-    $f = fopen($file0, "w");
-    fwrite($f, $data0["content"]);
-    fclose($f);
-    $file1 = tempnam(EWIKI_TMP, "ewiki.diff.gnu.");
-    $f = fopen($file1, "w");
-    fwrite($f, $data["content"]);
-    fclose($f);
-
-    #-- parse thru GNU diff util
-    $fn = addslashes($id);
-    $OPTIONS .= " --label='$fn (version $old_ver)' --label='$fn (version $new_ver)' ";
-    $diff = shell_exec("diff $OPTIONS $file0 $file1");
-
-    #-- remove temporary files
-    unlink($file0);
-    unlink($file1);
-
-    #-- encolor diff output
-    foreach (explode("\n", $diff) as $dl) {
-
-       $str = substr($dl, 1);
-
-       switch (substr($dl, 0, 1)) {
-          case "<":
-          case "-":
-             $o .= "<b>-</b><font color=\"#990000\"> <tt>$str</tt></font><br />\n";
-             break;
-          case ">":
-          case "+":
-             $o .= "<b>+</b><font color=\"#009900\"> <tt>$str</tt></font><br />\n";
-             break;
-          case "*":
-          case "-":
-             break;
-          default:
-             $o .= "<small><tt>$dl</tt></small><br />";
-       }
-
-    }
-
-    return($o);
- }
-
-
-?>
\ No newline at end of file