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