plugin/source.inc.php

   1 <?php
   2 // $Id: source.inc.php,v 1.6 2003/02/18 04:30:32 panda Exp $
   3
   4 function plugin_source_action()
   5 {
   6         global $vars;
   7
   8         header('Content-type: text/plain; charset="'.SOURCE_ENCODING.'"');
   9         echo join('',get_source($vars['page']));
  10
  11         die();
  12 }
  13
  14 ?>