Merge proposals

php-compat in Ubuntu has no merge proposals.