Merge proposals

php-superclosure in Ubuntu has no merge proposals.