public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Print successful installed extension message

pull/11/head
Michele Locati 2018-12-11 16:49:02 +01:00
parent 5e8ec484e8
commit 9419514e0f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/check-installed-extension.php
View File

@ -15,6 +15,7 @@ if (isset($nameMap[$extensionLowerCase])) {
} }
if (extension_loaded($extension)) { if (extension_loaded($extension)) {
fprintf(STDOUT, sprintf("Extension correctly loaded: %s\n", $extension));
exit(0); exit(0);
} }
fprintf(STDERR, sprintf("Extension not loaded: %s\n", $extension)); fprintf(STDERR, sprintf("Extension not loaded: %s\n", $extension));