@Federico
I think php group wants to implement best features for all php developers (like us), but dude, for real, something like rename (@link) strtotime to str_to_time to follow the “php naming convention” is not so hard, still, namespaces link is hilarious :).