com web/rmtools: better error message: client/data/config.php
| From: | Anatol Belski | Date: | Thu, 16 Apr 2015 12:03:48 +0000 |
| Subject: | com web/rmtools: better error message: client/data/config.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26029@lists.php.net to get a copy of this message | ||
Commit: ae6380886568749c08573633ecc3019ae0d20180
Author: Anatol Belski <ab@php.net> Thu, 16 Apr 2015 14:03:48 +0200
Parents: e145c2b76cf4e57283e4b5b966f071d35c6abbdd
Branches: master pecl_legacy
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=ae6380886568749c08573633ecc3019ae0d20180
Log:
better error message
Changed paths:
M client/data/config.php
Diff:
diff --git a/client/data/config.php b/client/data/config.php
index d3e5760..2064b9b 100644
--- a/client/data/config.php
+++ b/client/data/config.php
@@ -13,7 +13,7 @@ $required_exts = array(
);
foreach ($required_exts as $ext) {
if (!extension_loaded($ext)) {
- die("'$ext' extension is not loaded but required");
+ die("'$ext' extension is not loaded but required, full rquired extensions list:
" . implode(", ", $required_exts));
}
}