php/php-src — pull request #57 by cjbj (2012-04-16 20:50:02+00:00)
Title: Update to 5.4.2-dev

After PHP-5.4.1 was branched, the PHP-5.4 branch should have been 5.4.2-dev.