Vincent,
I agree with you in principle but it would still be nice to have some object overloading capablilties, if only on extension defined classes. For example it'd make life a bit easier (and the code a bit more concise) in PHP-GTK apps if I could set child widget properties directly through the parent. For example:
$widget->entry->set_text("blah blah blah");
instead of having to:
$entry = $widget->entry;
$entry->set_text("blah blah blah");
to access the GtkEntry child in a GtkCombo widget. However, PHP wasn't initally designed to do this kinda stuff and on the whole I think it's a Good Thing (TM). Besides, to the best of my knowledge, it's all a moot point. Unless Andrei's planning on adding it to agument his php-gtk extension, I don't think there are currently any plans to add object overloading into the PHP core. That being said, I could be wrong. It happened once last yearπ
Cheers,
Geoff A. Virgo