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