Translations:Manual:$wgSessionProviders/14/en

or better, in PHP 5.5 and newer: