Mini Shell

Name	Size	Permissions	Options
php-code-coverage	--	drwxrwxrwx
php-file-iterator	--	drwxrwxrwx
php-text-template	--	drwxrwxrwx
php-timer	--	drwxrwxrwx
php-token-stream	--	drwxrwxrwx
phpunit	--	drwxrwxrwx
phpunit-mock-objects	--	drwxrwxrwx