jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/368540 )
Change subject: Fix some PHPDoc type hints in DatabaseMysqli
......................................................................
Fix some PHPDoc type hints in DatabaseMysqli
Use `@param mysqli_result` instead of `@param mysqli`.
Change-Id: I7e759c740f666651463c5eda884debc0e12655b2
---
M includes/libs/rdbms/database/DatabaseMysqli.php
1 file changed, 6 insertions(+), 5 deletions(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/libs/rdbms/database/DatabaseMysqli.php
b/includes/libs/rdbms/database/DatabaseMysqli.php
index fcd29c3..4d1b87b 100644
--- a/includes/libs/rdbms/database/DatabaseMysqli.php
+++ b/includes/libs/rdbms/database/DatabaseMysqli.php
@@ -23,6 +23,7 @@
namespace Wikimedia\Rdbms;
use mysqli;
+use mysqli_result;
use IP;
/**
@@ -190,7 +191,7 @@
}
/**
- * @param mysqli $res
+ * @param mysqli_result $res
* @return bool
*/
protected function mysqlFreeResult( $res ) {
@@ -200,7 +201,7 @@
}
/**
- * @param mysqli $res
+ * @param mysqli_result $res
* @return bool
*/
protected function mysqlFetchObject( $res ) {
@@ -213,7 +214,7 @@
}
/**
- * @param mysqli $res
+ * @param mysqli_result $res
* @return bool
*/
protected function mysqlFetchArray( $res ) {
@@ -226,7 +227,7 @@
}
/**
- * @param mysqli $res
+ * @param mysqli_result $res
* @return mixed
*/
protected function mysqlNumRows( $res ) {
@@ -287,7 +288,7 @@
}
/**
- * @param mysqli $res
+ * @param mysqli_result $res
* @param int $row
* @return mixed
*/
--
To view, visit https://gerrit.wikimedia.org/r/368540
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7e759c740f666651463c5eda884debc0e12655b2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Ricordisamoa <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Ricordisamoa <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
