public ReadOnlyStream::rename($from_uri, $to_uri)

public ReadOnlyStream::stream_flush()

public ReadOnlyStream::stream_open($uri, $mode, $options, &a

public ReadOnlyStream::unlink($uri)

public ReadOnlyStream::stream_truncate($new_size)

public ReadOnlyStream::stream_write($data)