Fix param doc of MysqlMaintenance::runMysql
authorUmherirrender <umherirrender_de.wp@web.de>
Mon, 6 Aug 2018 08:58:53 +0000 (10:58 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Mon, 6 Aug 2018 08:58:53 +0000 (10:58 +0200)
commitdffd07efe13bb7245fcd4383e4b5b4a067290feb
tree5d3fd8924a66bd39663c3a12c283c5e2e16b50c4
parent5745f57119b3fbb92b6028215965f09e8f43694f
Fix param doc of MysqlMaintenance::runMysql

Add missing var name and type

Change-Id: I26c84723ee28b21f6b9b654d9507ed680c07055a
maintenance/mysql.php