debug_report_bug() call added

diff --git a/inc/extensions.php b/inc/extensions.php
index d21e3b4d13d7f2e444790782dfec42774edcf3d3..11cf83c782903240b5a51600d3ed4573f125c7c1 100644 (file)
--- a/inc/extensions.php
+++ b/inc/extensions.php
@@ -434,6 +434,12 @@ function GET_EXT_VERSION ($ext_name) {
        // By default no extension is found
        $ext_ver = false;
 
+       // Empty extension name should be fixed!
+       if (empty($ext_name)) {
+               // Please report this bug!
+               debug_report_bug(__FUNCTION__.": ext_name is empty which is not allowed here.");
+       } // END - if
+
        // Extensions are all inactive during installation
        if ((!isInstalled()) || (isInstalling())) return "";
        //* DEBUG: */ DEBUG_LOG(__FUNCTION__, __LINE__, ": ext_name={$ext_name}");