{"php": {"extensions": ["zip"]}}