add some php extension