// Extension's file name will also be checked
$file = sprintf("%sinc/extensions/ext-%s.php", PATH, $ext_name);
if ((!file_exists($file)) && (!is_readable($file))) return false;
// Extension's file name will also be checked
$file = sprintf("%sinc/extensions/ext-%s.php", PATH, $ext_name);
if ((!file_exists($file)) && (!is_readable($file))) return false;