Salvare una pagina HTML remota in locale con PHP

Con PHP possiamo salvare una pagina HTML remota in locale.

La soluzione è la seguente:

function my_get_page($url) {
      $output = '';
      $ch = curl_init();
      curl_setopt( $ch, CURLOPT_URL, $url );
      curl_setopt( $ch, CURLOPT_RETURNTRANSFER, true );
      curl_setopt( $ch, CURLOPT_CONNECTTIMEOUT , 0 );
      curl_setopt( $ch, CURLOPT_TIMEOUT, 3 );
      $data = curl_exec( $ch );
      $curl_errno = curl_errno( $ch );

      if ( $curl_errno > 0 ) {
          $output = null;
      } else {
          $output = $data;
      }

      return $output;
}

function my_save_page($url, $local_name) {
    $page = my_get_page($url);
    if(!is_null($page)) {
        $local_path = $_SERVER['DOCUMENT_ROOT'] . $local_name;
        file_put_contents($local_path, $page);
    }
}