Call to an undefined method mysqli::execute_query(). #8058
Description
Bug report
since php 8.2 the mysqli class should have a method execute_query defined, see https://wiki.php.net/rfc/mysqli_execute_query
Code snippet that reproduces the problem
https://phpstan.org/r/f98680cc-3a15-4ed2-aff7-7da225c41f36
Expected output
no error