Deprecate filter_input() or not?

Hi all! There is some discussion on a recent bug report[1] about filter_input() and related functionality. The bug report had been closed, because this functionality has already been added to the general deprecation RFC for PHP 8.5[2]. Then the OP raised a point regarding the usefulness of filter_input() to get at the original input, to avoid working with possibly modified superglobals. In my opinion, this topic should be discussed here, and not in a bug report. So, has anybody thoughts about the filter_input() deprecation? [1] <https://github.com/php/php-src/issues/17543> [2] <https://wiki.php.net/rfc/deprecations_php_8_5#deprecate_filter_input_filter_input_array_and_filter_has_var> Christoph