wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add return type to EchoFilteredSequentialIterator::getIterator()

Browse source 
Bug: T311448
Change-Id: I600135064aaaf05019da09e6dc610b8759ce0913
This commit is contained in:
Reedy 2022-06-27 20:06:31 +01:00
parent e276fc8ac1
commit aae5cb2579
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/iterator/FilteredSequentialIterator.php
View file

@ -75,7 +75,7 @@ class EchoFilteredSequentialIterator implements IteratorAggregate {
*
* @return Iterator
*/
public function getIterator() {
public function getIterator(): Iterator {
$it = $this->createIterator();
if ( $this->filters ) {
$it = new CallbackFilterIterator( $it, $this->createFilter() );