wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/iterator
History
Aryeh Gregor 3af6a04c69 Use IteratorDecorator from core 
As far as I can tell, EchoIteratorDecorator is functionally identical to
IteratorDecorator from includes/libs/iterators/ in core, so why have a
separate copy? (EchoIteratorDecorator does pass through the return value
of next() or rewind(), if any, but there shouldn't be any per the
Iterator interface.)

Change-Id: Ic763ec19c15f67d9c9b42ebffb88c52b9056ed22
2022-05-02 13:44:41 +03:00
..
CallbackIterator.php Use IteratorDecorator from core 2022-05-02 13:44:41 +03:00
FilteredSequentialIterator.php phpcs: Auto-fix MediaWiki.Usage.StaticClosure.StaticClosure 2021-05-04 09:06:42 -07:00
MultipleIterator.php Add missing @var and improve documentation 2020-12-17 20:55:49 +01:00
NotRecursiveIterator.php Use IteratorDecorator from core 2022-05-02 13:44:41 +03:00