Re: Integer set unicode character
| From: | Adam Harvey | Date: | Mon, 10 Jan 2011 09:08:55 +0000 |
| Subject: | Re: Integer set unicode character | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969382437@lists.php.net to get a copy of this message | ||
On 10 January 2011 17:02, Karoly Negyesi <karoly@negyesi.net> wrote:
> This http://paste.pocoo.org/show/318170/ would be more correct
> but it
> contains a non ASCII Unicode character. May I commit it still?
Documentation files are explicitly UTF-8 (per the XML header), so as
long as the ℤ is encoded in UTF-8, it should just work — I've just
tested a partial build with that change and it builds and renders as
expected.
Adam