Mark mysqli_driver properties readonly

Author: kocsismate

ext/mysqli/mysqli.stub.php

@@ -4,10 +4,13 @@
 
 final class mysqli_driver
 {
+    /** @readonly */
     public string $client_info;
 
+    /** @readonly */
     public int $client_version;
 
+    /** @readonly */
     public int $driver_version;
 
     public bool $reconnect = false;

ext/mysqli/mysqli_arginfo.h

@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 78662c05cd463735a8a4101c0357fd0d2698d48e */
+ * Stub hash: baf4cb58df96edeb4fc14e4703fe9363cf5ed784 */
 
 ZEND_BEGIN_ARG_WITH_RETURN_TYPE_MASK_EX(arginfo_mysqli_affected_rows, 0, 1, MAY_BE_LONG|MAY_BE_STRING)
 	ZEND_ARG_OBJ_INFO(0, mysql, mysqli, 0)