If you ask me i would not allow extending interfaces at all.
I have seen extended interfaces quite often in the Java world.
IIRC, the following code currently runs without problems and it should stay that way, if it does not harm us in any way:
<?php interface Foo {} interface Bar extends Foo {} class FooBar implements Bar {} ?>
-- Sebastian Bergmann http://sebastian-bergmann.de/ http://phpOpenTracker.de/
Did I help you? Consider a gift: http://wishlist.sebastian-bergmann.de/
-- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php