travis: php back in