On Sep 15, 2004, at 12:52 PM, Brion Vibber wrote:
> On Sep 15, 2004, at 11:56 AM, Luis Casillas wrote:
>> So, how does one configure the amount of time before an inactive
>> logged-in user becomes logged out?
>
> Configure PHP's session settings. See the PHP manual.
Aha, so it isn't anywhere in MediaWiki, that's why I couldn't find it.
Thanks.