[PHP-DOC] Integer set unicode character

[Karoly Negyesi]

Hi,

This http://paste.pocoo.org/show/318170/ would be more correct but it
contains a non ASCII Unicode character. May I commit it still?

Thanks

NK