> I went ahead and changed the implementation to use IteratorForExtensions.
> Is anyone overly unhappy with that one?
I don't particularly care what color we paint this bike shed. The
feature is valuable to me and look forward to it in PHP 8.
> @Michal: "ExtensionsIterator" to me sounds like an iterator that iterates
> over extensions.