<?php

    
/*
     * Example 13: Bulk File I/O
     * file: 13-file-bulk.php
     */
    
    // if we don't have a copy of the page, save one
    
    
if(is_file("twitter.html") == false) {
    
        
$data file_get_contents("http://m.twitter.com/");
            
// can read from remote sources
            
        
file_put_contents("twitter.html"$data);
        
    } else {
        
        
$data file_get_contents("twitter.html");
        
    }
    
    
$data str_replace("Twitter""St Andrews"$data);
            
// make some changes
    
    
echo $data;

?>