Andi Gutmans wrote: > Zeev is planning on fixing this. Cool.
> Interfaces should be allowed to extend other interfaces but not > to implement them. interface Bar extends Foo {} works already (at least last time I checked). What I need (and meant) is interface Barbara extends Bar, Foo {} Just to make sure :-), Sebastian -- Sebastian Bergmann http://sebastian-bergmann.de/ http://phpOpenTracker.de/ Das Buch zu PHP 5: http://professionelle-softwareentwicklung-mit-php5.de/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php