mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-11 07:26:29 +00:00
19 lines
402 B
PHP
19 lines
402 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() {
|
||
|
return null;
|
||
|
}
|
||
|
}
|