Revision 4a40286e97326c23c8837c3f8d1a97327c00a289

Committed on 27/01/2016 7:24 am by Jérôme Gamez <jerome@gamez.name> [GitHub Diff]

Add platform hint to ensure PHP 5.4 compatibility