php-shell/php-shell-cmd.patch

   1 --- scripts/php-shell-cmd.php.orig      2007-01-15 15:22:46.000000000 +0100
   2 +++ scripts/php-shell-cmd.php   2007-01-15 15:23:07.000000000 +0100
   3 @@ -2,6 +2,7 @@
   4  @ob_end_clean();
   5  error_reporting(E_ALL);
   6  set_time_limit(0);
   7 +set_include_path(get_include_path() . PATH_SEPARATOR . '/usr/share/php-shell');
   8
   9  /**
  10  * the wrapper around the PHP_Shell class