The requested document /package/PHP_Shell/docs/latest/PHP/PHP_Shell/PHP_Shell.html was not found on this server.
If you think that this error message is caused by an error in the configuration of the server, please contact pear-webmaster@lists.php.net.