phpDocumentor/phpDocumentor2 — pull request #664 by ashnazg (2012-10-27 21:41:45+00:00)
Title: basic fix for Issue 663

verify that zip extension is available;
give specific error when it is not.