mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
SettingsManager was created after extension loading, so extensions defined in settings.json were never loaded. Move SettingsManager.create before discoverAndLoadExtensions and merge settings extensions with CLI --extension args.