mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-18 10:52:27 +00:00
20 lines
480 B
PHP
20 lines
480 B
PHP
<?php
|
|
|
|
/**
|
|
* Wraps a non-recursive iterator with methods to be recursive
|
|
* without children.
|
|
*
|
|
* Alternatively wraps a recursive iterator to prevent recursing deeper
|
|
* than the wrapped iterator.
|
|
*/
|
|
class EchoNotRecursiveIterator extends EchoIteratorDecorator implements RecursiveIterator {
|
|
public function hasChildren() {
|
|
return false;
|
|
}
|
|
|
|
public function getChildren() {
|
|
// @phan-suppress-next-line PhanTypeMismatchReturnProbablyReal Never called
|
|
return null;
|
|
}
|
|
}
|