1	<?php
2
3	namespace MediaWiki\Rest;
4
5	use Psr\Http\Message\StreamInterface;
6
7	/**
8	* An interface for a stream with a copyToStream() function.
9	*/
10	interface CopyableStreamInterface extends StreamInterface {
11	/**
12	* Copy this stream to a specified stream resource. For some streams,
13	* this can be implemented without a tight loop in PHP code.
14	*
15	* Equivalent to reading from the object until EOF and writing the
16	* resulting data to $stream. The position will be advanced to the end.
17	*
18	* Note that $stream is not a StreamInterface object.
19	*
20	* @param resource $stream Destination
21	*/
22	public function copyToStream( $stream );
23	}