1--TEST--
2Error when setting session.save_handler to user via ini_set
3--EXTENSIONS--
4session
5--FILE--
6<?php
7ini_set('session.save_handler', 'user');
8?>
9--EXPECTF--
10Warning: ini_set(): Session save handler "user" cannot be set by ini_set() in %s on line %d
11
