Merge branch '5.4' into 6.0

* 5.4:
  [Session] Add docs to define redis session handler via php.ini directly

Author: javiereguiluz

session/database.rst

@@ -17,6 +17,19 @@ Store Sessions in a key-value Database (Redis)
 This section assumes that you have a fully-working Redis server and have also
 installed and configured the `phpredis extension`_.
 
+You have two different options to use Redis to store sessions:
+
+(1) The first PHP-based option is to configure Redis session handler directly in
+the server ``php.ini`` file:
+
+.. code-block:: ini
+
+    ; php.ini
+    session.save_handler = redis
+    session.save_path = "tcp://192.168.0.178:6379?auth=REDIS_PASSWORD"
+
+(2) The second Symfony-based option is to configure Redis sessions as follows.
+
 First, define a Symfony service for the connection to the Redis server:
 
 .. configuration-block::