-
Gábor Hojtsy authored
Issue #3229107 by andreasderijcke: isDeprecatedConfigDirectorySettingUsed() does not define $class_loader in case settings.php will need it
7c6a8cbf
Issue #3229107 by andreasderijcke: isDeprecatedConfigDirectorySettingUsed() does not define $class_loader in case settings.php will need it