mediawiki-extensions-Echo/includes/iterator/NotRecursiveIterator.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 IteratorDecorator implements RecursiveIterator {
	public function hasChildren(): bool {
		return false;
	}

	public function getChildren(): ?RecursiveIterator {
		// @phan-suppress-next-line PhanTypeMismatchReturnProbablyReal Never called
		return null;
	}
}