Re: wiki login expiration

On Fri, 11 Sept 2026 at 20:35, Noah Misch <noah(at)leadboat(dot)com> wrote:

> On Fri, Sep 11, 2026 at 12:28:32PM +0200, Álvaro Herrera wrote:
> > On 2026-Sep-08, Noah Misch wrote:
> > > Can we make wiki logins persist for substantially longer?
> wiki.postgresql.org
> > > appears to require a new click on the "log in" link every hour or so.
> The
> > > cookie itself has a 30-day expiry, so I gather the server is expiring
> its side
> > > of the state faster. GPT thinks $wgObjectCacheSessionExpiry is the
> relevant
> > > mediawiki setting. Perhaps 30d (86400*30) is a reasonable setting?
> >
> > I changed this to 7 days; the documentation
> > https://www.mediawiki.org/wiki/Manual:$wgObjectCacheSessionExpiry
> > explains that the logout occurs if you're _inactive_ during that period,
> > so this should be ergonomic enough for most people, I hope. I'm not
> > completely sure if the service restart I did is enough for the setting
> > to take.
>
> Thanks. Since your email, I've had the wiki login expire twice more in the
> same browser, so I don't think the change has taken effect yet.
>

I *think* it looks like the change was reverted. Alvaro - is that something
you did intentionally, or did you forget to update the repo? :)

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>