ci sono tutte quelle estensioni perche' il php e' multipiattaforma per cui se lo utilizzi sotto winzozz utilizzi quelle estensioni mentre per linux le estensioni sono .so