plugin/source.inc.php

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