I'm considering moving my code on HipHop for PHP, but can't find an answer for the question whether or not HipHop supports intl extension, which is required for my code to process Unicode text.
Also, where can I find a list of HipHop's limitations in general?