travis: use php instead of php-cgi
improved phpDoc
typo