What is a PHP session handler?