mods/wiki/plugins/mpi/mpi_settitle.php

   1 <?php
   2
   3 /*
   4    Use <?plugin SetTitle NewPageTitle ?> to define the currently
   5    shown pages' title to something different.
   6 */
   7
   8 $ewiki_plugins["mpi"]["settitle"] = "ewiki_mpi_settitle";
   9
  10
  11 function ewiki_mpi_settitle($action, &$args, &$iii, &$s) {
  12
  13    global $ewiki_title;
  14
  15    if ($args[1]) {
  16       $ewiki_title = $args["_"];
  17    }
  18    elseif ($args["id"]) {
  19       $ewiki_title = $args["id"];
  20    }
  21    return("");
  22 }
  23
  24
  25 ?>