Fixed issue #8384: impossible to have survey session lifetime greater than default PHP value
Dev: Only display and use session lifetime setting when using a DB backend for sessions.
Dev: If using regular file-based sessions, it's up to the admin to change php ini values.