- // Generate random number
- if (isset($GLOBALS['userid'])) {
- define('RAND_NUMBER', GEN_RANDOM_CODE(10, mt_rand(10000,32766), $GLOBALS['userid'], ""));
+ // Is the extension sql_patches installed and at least 0.3.6?
+ if (GET_EXT_VERSION("sql_patches") >= "0.3.6") {
+ // Generate random number
+ if (isset($GLOBALS['userid'])) {
+ define('RAND_NUMBER', GEN_RANDOM_CODE(10, mt_rand(10000,32766), $GLOBALS['userid'], ""));
+ } else {
+ define('RAND_NUMBER', GEN_RANDOM_CODE(10, mt_rand(10000,32766), 0, ""));
+ }