Re: PHP Alternative syntax

From: Date: Thu, 11 Oct 2001 22:36:24 +0000
Subject: Re: PHP Alternative syntax
References: 1 2 3 4 5 6 7  Groups: php.dev 
Request: Send a blank email to php-dev+get-67810@lists.php.net to get a copy of this message
Jeroen, With all due respect, you do not deprecate *anything* that is not within your own code without having a clear, beyond-an-*un*reasonable-doubt understanding that the development team is behind this deprecation. A quick glance over my php-dev archive reveals not even a faint trace of a discussion regarding this issue. The discussion you refer to is a 1984-style history change. "The online manual says it's deprecated, so it is." Great, but who the heck changed the online manual? You did. I'm not going to address the actual issues you have with this feature, because it has nothing to do with the bogus thing you did. I haven't been following phpdoc commits lately, but if this hasn't been removed, and moreover, clearly stated that contrary to prior mis-documentation, this feature is not and will not be deprecated, please fix the documentation today. You can use the same box you added for the deprecation message, to display the message that it's not going anywhere. Zeev At 23:51 11-10-01, Jeroen van Wolffelaar wrote:
What I meant was that probably the rumor itself got started from the docs. :) No, it was on the mailinglist (and caused no discussion, otherwise i'd have noticed). And James Moore said similar things recently. (i.e. a few hours ago) In my opinion that syntax is extremely ugly and according to manual notes causes a lot of strange precendence problems. It's just plain ugly and vague. I think it should be disencouraged to be used. I don't think it's realistic to even think about nuking it, but 'deprecated' means simply that it's recommended to not use it, and it's there for historical reasons. Deprecated does NOT automatically mean it will be removed. How often is online documentation regenerated from source xml files? Daily. --Jeroen -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net For additional commands, e-mail: php-dev-help@lists.php.net To contact the list administrators, e-mail: php-list-admin@lists.php.net


« previous php.dev (#67810) next »