travis: list directories for php.ini