$DISTFILEZIP, 'loader_file' => $DISTFILE, 'php_ini' => php_ini_loaded_file(), 'extensions_dir' => ini_get('extension_dir') ); } }