<?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);
?>