plugin/source.inc.php

   1 <?php
   2 // $Id: source.inc.php,v 1.4 2002/12/05 05:02:27 panda Exp $
   3
   4 function plugin_source_action()
   5 {
   6         global $vars;
   7
   8         header('Content-type: text/plain');
   9         readfile(get_filename(encode($vars['page'])));
  10
  11         die();
  12 }
  13
  14 ?>