Updated extensions to php