php/php-src — pull request #637 by realityking (2014-03-30 16:08:33+00:00)
Title: Remove unused code from ext/json.

Saves 616 bytes binary size.