Deprecate mhash constants?

Hi all, recently, it was discovered that although the mhash functions are deprecated as of PHP 8.1.0[1], the mhash constants are not yet deprecated. I believe that was just an oversight, since the are well hidden in the sources, and we don't even have them in the stub files[2]. I made a PR to actually deprecate the constants[3]. Does anybody feel this needs the RFC process? [1] <https://wiki.php.net/rfc/deprecations_php_8_1#mhash_function_family> [2] <https://github.com/php/doc-en/issues/3902> [3] <https://github.com/php/php-src/pull/16569> Christoph