Merge branch '7.2' into 7.3

* 7.2:
  Fix session lifetime index name in examples

Author: javiereguiluz

session.rst

@@ -975,7 +975,7 @@ MariaDB/MySQL
         `sess_data` BLOB NOT NULL,
         `sess_lifetime` INTEGER UNSIGNED NOT NULL,
         `sess_time` INTEGER UNSIGNED NOT NULL,
-        INDEX `sessions_sess_lifetime_idx` (`sess_lifetime`)
+        INDEX `sess_lifetime_idx` (`sess_lifetime`)
     ) COLLATE utf8mb4_bin, ENGINE = InnoDB;
 
 .. note::
@@ -996,7 +996,7 @@ PostgreSQL
         sess_lifetime INTEGER NOT NULL,
         sess_time INTEGER NOT NULL
     );
-    CREATE INDEX sessions_sess_lifetime_idx ON sessions (sess_lifetime);
+    CREATE INDEX sess_lifetime_idx ON sessions (sess_lifetime);
 
 Microsoft SQL Server
 ++++++++++++++++++++
@@ -1008,7 +1008,7 @@ Microsoft SQL Server
         sess_data NVARCHAR(MAX) NOT NULL,
         sess_lifetime INTEGER NOT NULL,
         sess_time INTEGER NOT NULL,
-        INDEX sessions_sess_lifetime_idx (sess_lifetime)
+        INDEX sess_lifetime_idx (sess_lifetime)
     );
 
 .. _session-database-mongodb: