fetchUserData() does not accept NULL, please report any findings

diff --git a/inc/mysql-manager.php b/inc/mysql-manager.php
index 51fb3de99dcbfb4adc2dd805352f6d3091c57088..6ceef81e5ff0dd7e415e0aa2a682555652fecc38 100644 (file)
--- a/inc/mysql-manager.php
+++ b/inc/mysql-manager.php
@@ -451,7 +451,10 @@ function fetchUserData ($value, $column = 'userid') {
        if (!isExtensionActive('user')) {
                // Absent ext-user is really not good
                return false;
-       } // END - if
+       } elseif (is_null($value)) {
+               // This shall never happen, so please report it
+               debug_report_bug(__FUNCTION__, __LINE__, 'value=NULL,column=' . $column . ' - value can never be NULL');
+       }
 
        // If we should look for userid secure&set it here
        if (substr($column, -2, 2) == 'id') {