+// Checks wether proxy configuration is used
+function isProxyUsed () {
+ // Do we have cache?
+ if (!isset($GLOBALS['is_proxy_used'])) {
+ // Determine it
+ $GLOBALS['is_proxy_used'] = ((getExtensionVersion('sql_patches') >= '0.4.3') && (getConfig('proxy_host') != '') && (getConfig('proxy_port') > 0));
+ } // END - if
+
+ // Return cache
+ return $GLOBALS['is_proxy_used'];
+}
+
+// Checks wether POST data contains selections
+function ifPostContainsSelections ($element = 'sel') {
+ // Do we have cache?
+ if (!isset($GLOBALS['post_contains_selections'][$element])) {
+ // Determine it
+ $GLOBALS['post_contains_selections'][$element] = (countPostSelection($element) > 0);
+ } // END - if
+
+ // Return cache
+ return $GLOBALS['post_contains_selections'][$element];
+}
+