- if ((isExtensionInstalledAndNewer('sql_patches', '0.3.6')) && (isExtensionInstalledAndNewer('other', '0.2.5'))) {
+ if (isSessionVariableSet('random_number')) {
+ // Then set it
+ setConfigEntry('RAND_NUMBER', getSession('random_number'));
+ } elseif ((isExtensionInstalledAndNewer('sql_patches', '0.3.6')) && (isExtensionInstalledAndNewer('other', '0.2.5'))) {