windows10系统，7.3的时候，


extension=php_redis

升级到7.4.1的时候，死活加载不了扩展，然后尝试加个dll，居然可以了。这是返古了吗


extension=php_redis.dll