Re: Marking properties deprecated/proprietary
| From: | Edward Z. Yang | Date: | Mon, 03 Dec 2007 20:43:27 +0000 |
| Subject: | Re: Marking properties deprecated/proprietary | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969378442@lists.php.net to get a copy of this message | ||
Hannes Magnusson wrote:
> We don't, but it seems reasonable to have one as extensions are often
> one-to-one mapping of libraries/specifications with "minor
> adjustments" here and there.
Ok. I'll add some to the global snippets entity file.
--
Edward Z. Yang GnuPG: 0x869C48DA
HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter
[[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]