diff options
author | xue <> | 2006-08-27 23:26:55 +0000 |
---|---|---|
committer | xue <> | 2006-08-27 23:26:55 +0000 |
commit | c1937cccd0985e86e247287faa9ac60870feecd7 (patch) | |
tree | 95ec7083c7be815184c74cd8aa27d02a69d2ea77 /requirements/index.php | |
parent | 887da1b3668499821f046665b461aeadb0a9fb2e (diff) |
Merge from 3.0 branch till 1350.
Diffstat (limited to 'requirements/index.php')
-rw-r--r-- | requirements/index.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/requirements/index.php b/requirements/index.php index fb58dfce..432f5332 100644 --- a/requirements/index.php +++ b/requirements/index.php @@ -59,6 +59,21 @@ $requirements = array( class_exists("DOMDocument",false),
'DOM extension check',
'DOM extension required'),
+ array(
+ true,
+ extension_loaded("SPL"),
+ 'SPL extension check',
+ 'SPL extension required'),
+ array(
+ true,
+ extension_loaded("CType"),
+ 'CType extension check',
+ 'CType extension required'),
+ array(
+ true,
+ extension_loaded("pcre"),
+ 'PCRE extension check',
+ 'PCRE extension required'),
array(
false,
function_exists("iconv"),
|