[Session] Add docs to define redis session handler via php.ini directly#17399