sebastianbergmann/phpunit — pull request #1047 by andig (2013-11-05 08:12:08+00:00)
Title: Update JSON.php

Fix #1042