Replace @deprecated with #[Deprecated]

Author: kamil-tekiela

ext/mysqli/mysqli.stub.php

@@ -851,10 +851,10 @@ public function get_warnings(): mysqli_warning|false {}
     public function init() {}
 
     /**
-     * @deprecated
      * @tentative-return-type
      * @alias mysqli_kill
      */
+    #[\Deprecated(since: '8.4', message: 'use KILL CONNECTION/QUERY SQL statement instead')]
     public function kill(int $process_id): bool {}
 
     /**
@@ -1506,7 +1506,7 @@ function mysqli_info(mysqli $mysql): ?string {}
 /** @refcount 1 */
 function mysqli_insert_id(mysqli $mysql): int|string {}
 
-/** @deprecated */
+#[\Deprecated(since: '8.4', message: 'use KILL CONNECTION/QUERY SQL statement instead')]
 function mysqli_kill(mysqli $mysql, int $process_id): bool {}
 
 function mysqli_more_results(mysqli $mysql): bool {}

ext/mysqli/mysqli_arginfo.h

@@ -41,10 +41,10 @@ require_once 'skipifconnectfailure.inc';
 --EXPECTF--
 bool(true)
 
-Deprecated: Method mysqli::kill() is deprecated in %s
+Deprecated: Method mysqli::kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 bool(false)
 bool(true)
 
-Deprecated: Method mysqli::kill() is deprecated in %s
+Deprecated: Method mysqli::kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 bool(false)
 done!

ext/mysqli/tests/071.phpt

@@ -73,10 +73,10 @@ require_once 'skipifconnectfailure.inc';
 ?>
 --EXPECTF--
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 mysqli_kill(): Argument #2 ($process_id) must be greater than 0
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 string(%d) "%s"
 bool(false)
 object(mysqli)#%d (%d) {
@@ -128,13 +128,13 @@ object(mysqli)#%d (%d) {
   int(0)
 }
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 mysqli_kill(): Argument #2 ($process_id) must be greater than 0
 array(1) {
   ["id"]=>
   string(1) "1"
 }
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 mysqli_kill(): Argument #2 ($process_id) must be greater than 0
 done!

ext/mysqli/tests/mysqli_kill.phpt

@@ -315,7 +315,7 @@ Warning: mysqli_multi_query(): (%d/%d): You have an error in your SQL syntax; ch
 
 Warning: mysqli_query(): (%d/%d): You have an error in your SQL syntax; check the manual that corresponds to your %s server version for the right syntax to use near 'FOO' at line 1 in %s on line %d
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 mysqli_kill(): Argument #2 ($process_id) must be greater than 0
 
 Warning: mysqli_prepare(): (%d/%d): You have an error in your SQL syntax; check the manual that corresponds to your %s server version for the right syntax to use near 'FOO' at line 1 in %s on line %d
@@ -336,16 +336,16 @@ Warning: mysqli_store_result(): (%s/%d): You have an error in your SQL syntax; c
 
 Warning: mysqli_stmt_attr_set(): (%s/%d): Not implemented in %s on line %d
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 mysqli_kill(): Argument #2 ($process_id) must be greater than 0
 
 Warning: mysqli_stmt_prepare(): (%d/%d): You have an error in your SQL syntax; check the manual that corresponds to your %s server version for the right syntax to use near 'FOO' at line 1 in %s on line %d
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 
-Deprecated: Function mysqli_kill() is deprecated in %s
+Deprecated: Function mysqli_kill() is deprecated since 8.4, use KILL CONNECTION/QUERY SQL statement instead in %s
 [013] Access denied for user '%s'@'%s'%r( \(using password: \w+\)){0,1}%r
 [016] Access denied for user '%s'@'%s'%r( \(using password: \w+\)){0,1}%r
 done!