jpauli/php-src — pull request #1 by krakjoe (2013-04-12 13:28:28+00:00)
Title: tidy up zend_extensions.c so that the logic and output makes good sense

some housework :)