- if (!isset($_CONFIG['index_delay'])) $_CONFIG['index_delay'] = 0;
- if (!isset($_CONFIG['index_cookie'])) $_CONFIG['index_cookie'] = 0;
+ if (!isConfigEntrySet('index_delay')) setConfigEntry('index_delay' , 0);
+ if (!isConfigEntrySet('index_cookie')) setConfigEntry('index_cookie', 0);