From dffd07efe13bb7245fcd4383e4b5b4a067290feb Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Mon, 6 Aug 2018 10:58:53 +0200
Subject: [PATCH] Fix param doc of MysqlMaintenance::runMysql

Add missing var name and type

Change-Id: I26c84723ee28b21f6b9b654d9507ed680c07055a
---
 maintenance/mysql.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/maintenance/mysql.php b/maintenance/mysql.php
index 1b575bb28a..9424402cdf 100644
--- a/maintenance/mysql.php
+++ b/maintenance/mysql.php
@@ -106,9 +106,9 @@ class MysqlMaintenance extends Maintenance {
 	 * Run the mysql client for the given server info
 	 *
 	 * @param array $info
-	 * @param string|false The DB name, or false to use the main wiki DB
+	 * @param string|false $dbName The DB name, or false to use the main wiki DB
 	 *
-	 * @return The desired exit status
+	 * @return int The desired exit status
 	 */
 	private function runMysql( $info, $dbName ) {
 		// Write the password to an option file to avoid disclosing it to other
-- 
2.20.1