mods/wiki/plugins/old/alias.php

   1 <?php
   2
   3 #  Use this plugin to map PageAliases to existing WikiPages.
   4 #  If you add an alias for a page, it's assumed to exist.
   5 #
   6 #  Note: this plugin was absoleted by the "jump.php" plugin, which provides
   7 #  a more convinient feature that implements the idea behing page aliases
   8 #  much better and more intuitively.
   9
  10
  11 $ewiki_plugins["alias"] = array(
  12    "FrontPage" => "ErfurtWiki",
  13    "WikiInfo" => "AboutPlugins",
  14    "PageAlias" => "RealName",
  15 // ...
  16 );
  17
  18
  19 $ewiki_plugins["format_source"] = "ewiki_page_aliases";
  20
  21
  22 function ewiki_page_aliases(&$src) {
  23    global $ewiki_links, $ewiki_plugins;
  24    $ewiki_links = array_merge(
  25       $ewiki_links,
  26       $ewiki_plugins["alias"]
  27    );
  28 }
  29
  30 foreach ($ewiki_plugins["alias"] as $page=>$uu) {
  31    $ewiki_plugins["page"][$page] = "ewiki_page_alias";
  32 }
  33
  34 function ewiki_page_alias($id, $data, $action) {
  35    global $ewiki_plugins;
  36    return(ewiki_page($ewiki_plugins["alias"][$id]));
  37 }
  38
  39
  40 ?>