A file session handler class in PHP 5.4