Fix ini_set() function signature#63

Merged

ondrejmirtes merged 1 commit intophpstan:masterfrom

cs278:ini_set-string

Dec 26, 2019

Commits on Dec 20, 2019

2nd argument of ini_{set,alter}() only accepts a string
cs278
committed