require('inc/config-global.php');
// Shall we display 'home' in index.php?
-if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3') && (isDisplayHomeInIndexEnabled())) {
+if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3')) && (isDisplayHomeInIndexEnabled())) {
// Include module
doIncludeModule();
} else {