Renames resource.php.travis file