Merge pull request #11762 from nextcloud/stable13-11756-ignore-session-lifetime-if-it-can-not-be-converted-to-a-number [stable13] Ignore "session_lifetime" if it can not be converted to a number