Merge proposals

php-mock in Ubuntu has no merge proposals.