1--TEST--
2Bug #60860 (session.save_handler=user without defined function core dumps)
3--EXTENSIONS--
4session
5--INI--
6session.save_handler=user
7error_log=
8--FILE--
9<?php
10
11session_start();
12echo "ok\n";
13
14?>
15--EXPECT--
16Fatal error: PHP Startup: Session save handler "user" cannot be set by ini_set() in Unknown on line 0
17ok
18