mirror of
https://github.com/danog/docker-php-extension-installer.git
synced 2024-12-11 08:59:51 +01:00
18 lines
594 B
PHP
Executable File
18 lines
594 B
PHP
Executable File
#!/usr/bin/env php
|
|
<?php
|
|
|
|
require_once __DIR__ . '/_bootstrap.php';
|
|
|
|
$rc = 0;
|
|
foreach ([false => 'PHP module', true => 'Zend extension'] as $type => $typeName) {
|
|
$extensions = get_loaded_extensions($type);
|
|
$extensionsLowerCase = array_map('strtolower', $extensions);
|
|
if (in_array('sourceguardian', $extensionsLowerCase, true)) {
|
|
fwrite(STDOUT, "The SourceGuardian {$typeName} is loaded.\n");
|
|
} else {
|
|
fwrite(STDERR, "The SourceGuardian {$typeName} is not loaded.\nLoaded extensions are: \n- " . implode("\n- ", $extensions));
|
|
$rc = 1;
|
|
}
|
|
}
|
|
exit($rc);
|