* data/php_stdlib/classes.php: KeyedIterator