'; if (in_array($ext, get_loaded_extensions())) { echo ''; } else { echo ''; } echo ''; } function get_unpacked_extensions() { $extension_dir = ini_get('extension_dir'); $extensions = array(); if ($extension_dir) { $dir = new DirectoryIterator($extension_dir); foreach ($dir as $fileinfo) { if ($fileinfo->isFile() && pathinfo($fileinfo->getFilename(), PATHINFO_EXTENSION) === 'so') { $extensions[] = pathinfo($fileinfo->getFilename(), PATHINFO_FILENAME); } } } return $extensions; } ?>
PHP Version:
Server Extensions
☑ ' . $ext . '☐ ' . $ext . '