Add some php exts