0fcfd5238b9e8660dfcb48d358216ee45f19ea13	not-for-merge	branch 'master' of https://github.com/GerHobbelt/nicejson-php