diff options
Diffstat (limited to 'maintenance/mysql.php')
| -rw-r--r-- | maintenance/mysql.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/mysql.php b/maintenance/mysql.php index 8291ac7d83d0..0776d871c50c 100644 --- a/maintenance/mysql.php +++ b/maintenance/mysql.php @@ -27,7 +27,9 @@ use MediaWiki\Shell\Shell; use Wikimedia\IPUtils; use Wikimedia\Rdbms\ServerInfo; +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd /** * @ingroup Maintenance @@ -201,5 +203,7 @@ class MysqlMaintenance extends Maintenance { } } +// @codeCoverageIgnoreStart $maintClass = MysqlMaintenance::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |