php/php-src — pull request #767 by vlajos (2014-08-12 21:01:12+00:00)
Title: typofixes

typofixes