1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
<?php
namespace MediaWiki\CommentFormatter;
use ArrayIterator;
/**
* An adaptor which converts an array of strings to an iterator of CommentItem
* objects.
*
* @since 1.38
*/
class StringCommentIterator extends ArrayIterator {
/**
* @internal Use CommentBatch::strings()
* @param string[] $strings
*/
public function __construct( $strings ) {
parent::__construct( $strings );
}
public function current(): CommentItem {
return new CommentItem( parent::current() );
}
}
|
