Revision fadaa49ac74cec2549aaa85e8907cef40e1b883f

Committed on 16/12/2022 4:28 am by jiri stepina <[email protected]> [GitHub Diff]

PHP 8.1 compatibility