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