plugin/source.inc.php

   1 <?
   2 // $Id: source.inc.php,v 1.2 2002/06/26 06:23:57 masui Exp $
   3
   4 function plugin_source_action()
   5 {
   6         global $post,$vars,$script,$InterWikiName,$WikiName,$BracketName,$defaultpage;
   7
   8         header("Content-type: text/plain");
   9         readfile(get_filename(encode($vars["page"])));
  10
  11         die();
  12 }
  13
  14 ?>