sebastianbergmann/phpunit — pull request #1046 by andig (2013-11-04 14:23:17+00:00)
Title: Update JSON.php

Fix #1042