Change filename to REST.php