change travis language to php