} // END - if
// Is ext-sql_patches there and newer?
if (isExtensionInstalledAndNewer('sql_patches', '0.5.3')) {
// Set session save path if set
} // END - if
// Is ext-sql_patches there and newer?
if (isExtensionInstalledAndNewer('sql_patches', '0.5.3')) {
// Set session save path if set