fix issue #23 (PHP-7.1 JSON compat)
authorMichael Wallner <mike@php.net>
Tue, 15 Nov 2016 08:53:42 +0000 (09:53 +0100)
committerMichael Wallner <mike@php.net>
Tue, 15 Nov 2016 08:55:32 +0000 (09:55 +0100)

No differences found