Documentation lacks info about redis.pconnect ini options

[rgrellmann]

Expected behaviour

The documentaion should explain the purpose and possible values of
redis.pconnect.connection_limit
redis.pconnect.echo_check_liveness
redis.pconnect.pool_detect_dirty
redis.pconnect.pool_pattern
redis.pconnect.pool_poll_timeout

Actual behaviour

The documentation only mentions redis.pconnect.pooling_enabled.

I'm seeing this behaviour on

• OS: all
• Redis: all
• PHP: all
• phpredis: all

I've checked

• There is no similar issue from other users
• Issue isn't fixed in develop branch