Translations:Manual:$wgBlockDisablesLogin/6/en

Also, if he is logged in, the user gets logged out.