From 3ba7a4ab35868d0ccbcf62b59ad3f2817282c393 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Wed, 11 Mar 2009 18:00:14 +0000 Subject: [PATCH] debug_report_bug() call added --- inc/extensions.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/inc/extensions.php b/inc/extensions.php index d21e3b4d13..11cf83c782 100644 --- 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}"); -- 2.30.2