minor #204 Make the UUID polyfill compatible with PHP >=5.3.3 (javiereguiluz)
minor #204 Make the UUID polyfill compatible with PHP >=5.3.3 (javiereguiluz)

This PR was merged into the 1.13-dev branch.

Discussion
----------

Make the UUID polyfill compatible with PHP >=5.3.3

Commits
-------

c3f90e6 Make the UUID polyfill compatible with PHP >=5.3.3

symfony/polyfill,nicolas-grekas/polyfill