Update snippet of PHP