[x] localized label and dropdown options (not sure how to provide the translations though)
[x] persist settings across restarts
[x] handle apply/reset properly
show the setting(s) in Settings->Languages & Frameworks->PHP (ideally after PHP "language level")
This doesn't seem possible; it has to be something supported as an EP by com.jetbrains.php.config.PhpProjectConfigurable or com.jetbrains.php.config.PhpProjectConfigurableForm.
Or perhaps at a higher level with the settings manager events.
[x] when project is opened, if tristate setting is set to "undefined", check if project has different php versions (e.g. different composer files) and suggest enabling the setting
Fixes #3.
show the setting(s) in Settings->Languages & Frameworks->PHP (ideally after PHP "language level")This doesn't seem possible; it has to be something supported as an EP bycom.jetbrains.php.config.PhpProjectConfigurableorcom.jetbrains.php.config.PhpProjectConfigurableForm. Or perhaps at a higher level with the settings manager events.