<?php
  header('Content-type: text/xml'); 
  $url = $_REQUEST[url];
  $contents=file_get_contents($url);
  echo $contents;
?>