Accesing deprecated php.ini option should emit warning

[mvorisek]

Description

repro: https://3v4l.org/qS5nM

[staabm]

Linking the analog PHPStan feature request: phpstan/phpstan-deprecation-rules#119

[TimWolla]

Given that accessing an unknown INI setting does not emit an error of any kind and that setting a deprecated INI setting only emits an error if you change it from the default value, I do not find it obvious at all that attempting to read a deprecated INI setting should result in a deprecation error.

This likely requires some discussion and as such I am marking this proposal as requiring an RFC.

[staabm]

Support landed in PHPStan release yesterday

[github-actions]

There has not been any recent activity in this feature request. It will automatically be closed in 14 days if no further action is taken. Please see https://github.com/probot/stale#is-closing-stale-issues-really-a-good-idea to understand why we auto-close stale feature requests.