php/php-src — pull request #332 by vlajos (2013-04-23 10:16:34+00:00)
Title: Typofixes

Mostly in non "living" code. Anyway a review is needed...