// Fix what to 'home'
setWhat(getIndexHome());
// Shall we display 'home' in index.php?
if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3')) && (isDisplayHomeInIndexEnabled())) {
// Fix what to 'home'
setWhat(getIndexHome());
// Shall we display 'home' in index.php?
if ((isExtensionInstalledAndNewer('sql_patches', '0.8.3')) && (isDisplayHomeInIndexEnabled())) {