From 86a616a2201b2a555b05877477de5523f1d0b260 Mon Sep 17 00:00:00 2001
From: Drew Paroski <andrewparoski@fb.com>
Date: Fri, 19 Apr 2013 16:07:21 -0700
Subject: [PATCH] Add KeyedTraversable interface

---
 hphp/system/classes/iterator.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/hphp/system/classes/iterator.php b/hphp/system/classes/iterator.php
index 8cf6f48fb..21ab13fb3 100644
--- a/hphp/system/classes/iterator.php
+++ b/hphp/system/classes/iterator.php
@@ -103,6 +103,9 @@ interface JsonSerializable {
 interface Traversable {
 }
 
+interface KeyedTraversable extends Traversable {
+}
+
 // Do NOT modifiy this doc comment block generated by idl/sysdoc.php
 /**
  * ( excerpt from http://php.net/manual/en/class.iterator.php )
@@ -167,7 +170,7 @@ interface Iterator extends Traversable {
   public function valid();
 }
 
-interface KeyedIterator extends Iterator {
+interface KeyedIterator extends Iterator, KeyedTraversable {
 }
 
 // Do NOT modifiy this doc comment block generated by idl/sysdoc.php
@@ -792,7 +795,7 @@ interface IteratorAggregate extends Traversable {
 interface Iterable extends IteratorAggregate {
 }
 
-interface KeyedIterable extends Iterable {
+interface KeyedIterable extends Iterable, KeyedTraversable {
 }
 
 ///////////////////////////////////////////////////////////////////////////////