Skip to content

Fix some more PHP 8.2 deprecations#330

Merged
ezyang merged 5 commits intoezyang:masterfrom WoltLab:php-8.2Sep 3, 2022