removed mods directory from the ATutor codebase

[atutor.git] / mods / wiki / plugins / markup / footnotes.php

diff --git a/mods/wiki/plugins/markup/footnotes.php b/mods/wiki/plugins/markup/footnotes.php
deleted file mode 100644 (file)
index 8c853d0..0000000
--- a/mods/wiki/plugins/markup/footnotes.php
+++ /dev/null
@@ -1,61 +0,0 @@
-<?php
-
- /*
-
-   this plugin introduces markup for footnotes, use it like:
-
-      ...
-      some very scientific sentence {{this is a footnote explaination}}
-      ...
-
-   this may be useful in some rare cases; usually one should create
-   a WikiLink to explain a more complex task on another page;
-   your decision
-
-*/  
-
-
-
-$ewiki_plugins["format_source"][] = "ewiki_format_source_footnotes";
-
-
-
-function ewiki_format_source_footnotes (&$source) {
-
-   $notenum = 0;
-
-   $l = 0;
-   while (
-            ($l = strpos($source, "{{", $l))
-        &&  ($r = strpos($source, "}}", $l))
-         )
-   {
-      $l += 2;
-
-      #-- skip "{{...\n...}}"
-      if (strpos($source, "\n", $l) < $r) {
-         continue;
-      }
-
-      $notenum++;
-
-      #-- extract "footnote"
-      $footnote = substr($source, $l, $r - $l);
-
-      #-- strip "{{footnote}}"
-      $source = substr($source, 0, $l - 2)
-             . "<a href=\"#fn$notenum\">·$notenum</a>"
-             . substr($source, $r + 2);
-
-      #-- add "footnote" to the end of the wiki page source
-      if ($notenum==1) {
-         $source .= "\n----";
-      }
-      $source .= "\n" .
-                 "<a name=\"fn$notenum\">·$notenum</a> ". $footnote . "\n<br />";
-      
-   }
-}
-
-
-?>
\ No newline at end of file