Translations:Manual:$wgReauthenticateTime/11/en

MediaWiki currently takes the second option and forces the user to log in again if the last login was too long ago.