Translations:Manual:$wgSessionHandler/4/en

This is used for setting PHP's session.save_handler.