Description:
------------
There is `set_ini()` that can be used to change value of a given configuration 
option and for CGI or Fast-CGI users .user.ini file can be used to override the 
desired configuration options. but there is nothing when you use PHP as a 
server module.

Please add a `set_ini_file($path_to_user_ini);` function.

Expected result:
----------------
Here is a bare minimum example code in PHP:

function ini_set_file($ini_file) {
	foreach(parse_ini_file($ini_file) as $option => $newvalue){
		ini_set($option, $newvalue);
	}
}