<?php $path_to_file = $argv[1]; $file_contents = file_get_contents($path_to_file); $file_contents = str_replace("http://vcities.umsl.edu","https://vcities.umsl.edu",$file_contents); $file_contents = str_replace("http://12.234.174.20","https://vcities.umsl.edu",$file_contents); $file_contents = str_replace("http://vcities.ite-stl.org","https://vcities.umsl.edu",$file_contents); $file_contents = str_replace("https://12.234.174.20","https://vcities.umsl.edu",$file_contents); $file_contents = str_replace("https://vcities.ite-stl.org","https://vcities.umsl.edu",$file_contents); file_put_contents($path_to_file,$file_contents); ?>