mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 17:22:12 +01:00
29 lines
558 B
PHP
29 lines
558 B
PHP
<?php
|
|
namespace rmtools;
|
|
|
|
$required_exts = array(
|
|
'openssl',
|
|
'curl',
|
|
'sqlite3',
|
|
'simplexml',
|
|
'dom',
|
|
'json',
|
|
'mbstring',
|
|
'zlib',
|
|
);
|
|
foreach ($required_exts as $ext) {
|
|
if (!extension_loaded($ext)) {
|
|
die("'$ext' extension is not loaded but required, full rquired extensions list: " . implode(", ", $required_exts));
|
|
}
|
|
}
|
|
|
|
$tmp = getenv('PHP_RMTOOLS_TMP_PATH');
|
|
if (!$tmp) {
|
|
throw new \Exception("Temporary path '$tmp' doesn't exist");
|
|
}
|
|
define('TMP_DIR', $tmp);
|
|
|
|
/* XXX might remove this later */
|
|
$custom_env = array();
|
|
|