Define php_ini_scanned_files [closes #3550]