plugin/source.inc.php

   1 <?php
   2 // $Id: source.inc.php,v 1.3 2002/11/29 00:09:01 panda 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 ?>