phpdoc and travis