+// Fix what to 'home'
+setWhat(getIndexHome());
+
+// Shall we display 'home' in index.php?
+if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3')) && (isDisplayHomeInIndexEnabled())) {
+ // Include module (and exit in inc/footer.php)
+ doIncludeModule();
+} // END - if