//$pageContents = ob_get_contents (); // Get all the page's HTML into a string
//ob_end_clean (); // Wipe the buffer
//if ($_SERVER['HTTPS'] != "on") {
//if (isset($_SERVER['HTTPS']) != "on") {
//echo "This is not HTTPS";
//}else{
//echo "This is HTTPS";
// $pageContents = str_replace ('http://', 'https://', $pageContents);
//}
//echo $pageContents;
?>