Merge pull request #414 from bjh21/bjh21-php-hashmap
authorJoel Martin <github@martintribe.org>
Tue, 9 Jul 2019 01:33:59 +0000 (20:33 -0500)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 01:33:59 +0000 (20:33 -0500)
php: Make sure that hashmap keys get returned as strings


Trivial merge