Merge proposals

php-zend-stdlib in Ubuntu has no merge proposals.