I don't wanna be a nitpicker here, but I've seen DateTimeZone and DateTimezone both used in the discussion. I'm not sure which would be the popular one.
- Ron PS: shake hands and make up.. group hug everyone? :) "Ilia Alshanetsky" <[EMAIL PROTECTED]> schreef in bericht news:[EMAIL PROTECTED] > Now that everyone had their say (I hope) I've made a quick tally of > the votes so far: > > Rename date & timezone classes to DateTime and DateTimeZone respectively > Tony > Derick > Mike > Rasmus > Andi > Ilia > > Don't do anything and wait till 5.3/6.0 etc.. > Pierre > Steph > > So it's 6 to 2 so far. > > I have not seen a clear vote from Marcus, Edin, John, Jani and Andrei > who had actively participated in the discussion. > > Ilia Alshanetsky > > > > > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
