Possible Duplicate:
How to decode Unicode escape sequences like “\u00ed” to proper UTF-8 encoded characters?
I have some javascript text that contains values like '\u003c' (less than sign <).
Is there a php functions that allows me to unescape javascript ?
(I did not expect urldecode to work, though i tried it. It does not indeed.)