<?php 
// legend_via_map.php
// Return webpage contents
  if (isset($_GET['url'])) {
    //echo file_get_contents(urldecode($_GET['url']));
    echo file_get_contents($_GET['url']);
  } else {
    echo "";
  }
?>