Add support for PHP 8.3

[localheinz]

In all likelihood, PHP 8.3 will be released on November 23, 2023, and it would be great if we could support PHP 8.3 soon after the official release.

• require tests to pass on PHP 8.3
  • see Fix: Allow tests to fail on PHP 8.3 #693
  • see Fix: Do not use deprecated MT_RAND_PHP constant on PHP 8.3 #844
• stop using MT_RAND_PHP constant deprecated on PHP 8.3
  • see Deprecate MT_RAND_PHP php/php-src#11560
  • see https://wiki.php.net/rfc/deprecations_php_8_3#mt_rand_php
  • see Fix: Do not use deprecated MT_RAND_PHP constant on PHP 8.3 #844

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed after 1 week if no further activity occurs. Thank you for your contributions.

[ejunker]

PHP 8.3 was released. What is remaining? The main issue I notice is with the deprecated MT_RAND_PHP constant.

Could it be solved by doing something like this?

$mode = PHP_VERSION_ID >= 80300 ? MT_RAND_MT19937 : MT_RAND_PHP;
mt_srand((int) $seed, $mode);

[localheinz]

Fixed with #844.