+// Shall we display 'home' in index.php?
+if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3') && (isDisplayHomeInIndexEnabled())) {
+ // Include module
+ doIncludeModule();
+} else {
+ // Check for cookies
+ if ((isSessionVariableSet('visited')) || (getConfig('index_delay') > -1)) {
+ // Set content type
+ setContentType('text/html');