php/php-src — pull request #544 by DQNEO (2013-12-13 17:27:52+00:00)
Title: Fix doc (svn -> git)

I guess svn is not used any more.